591c591
< apicTimerEvent(this),
---
> apicTimerEvent([this]{ processApicTimerEvent(); }, name()),
769a770,775
>
> void
> X86ISA::Interrupts::processApicTimerEvent() {
> if (triggerTimerInterrupt())
> setReg(APIC_INITIAL_COUNT, readReg(APIC_INITIAL_COUNT));
> }