* @OSF_COPYRIGHT@
*/
-#include <platforms.h>
-#include <mach_kdb.h>
#include <mach/mach_types.h>
#include <i386/tsc.h>
#include <i386/rtclock_protos.h>
#include <i386/pal_routines.h>
-#include <kern/etimer.h>
+#include <kern/timer_queue.h>
static uint64_t rtc_decrementer_min;
static uint64_t rtc_decrementer_max;
} 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;
}