* @OSF_COPYRIGHT@
*/
-#include <platforms.h>
#include <mach/mach_types.h>
} else {
lapic_set_timer(FALSE, one_shot, divide_by_1, 0);
}
+
+ KERNEL_DEBUG_CONSTANT(
+ DECR_SET_APIC_DEADLINE | DBG_FUNC_NONE,
+ now, deadline,
+ set, LAPIC_READ(TIMER_CURRENT_COUNT),
+ 0);
+
return set;
}