#include <cpu/irq.h>
#include <cpu/power.h> // cpu_relax()
-#include <kern/preempt.h> // proc_decQuantun()
+#include <kern/proc_p.h> // proc_decQuantun()
/*
* Include platform-specific binding code if we're hosted.
/* Perform hw IRQ handling */
timer_hw_irq();
-
+
TIMER_STROBE_OFF;
}