arch/x86/interrupts.cc

390             if (apicTimerEvent.scheduled()) {
395                 uint64_t val = apicTimerEvent.when() - curTick();
574                 reschedule(apicTimerEvent,
579                     reschedule(apicTimerEvent,
601       apicTimerEvent([this]{ processApicTimerEvent(); }, name()),
738     bool apicTimerEventScheduled = apicTimerEvent.scheduled();
740     Tick apicTimerEventTick = apicTimerEvent.when();
768         if (apicTimerEvent.scheduled()) {
769             reschedule(apicTimerEvent, apicTimerEventTick, true);
771             schedule(apicTimerEvent, apicTimerEventTick);