/*
*/
-#include <machine_timer_routines.h>
-
#include <mach/kern_return.h>
#include <mach/port.h>
#include <kern/queue.h>
#include <kern/sched_prim.h>
#include <kern/timer.h>
-#if CONFIG_EMBEDDED
-int precise_user_kernel_time = 0;
-#else
int precise_user_kernel_time = 1;
-#endif
/*
* timer_init initializes a timer.
new_timer->tstamp = tstamp;
}
-#if MACHINE_TIMER_ROUTINES
-
-/*
- * Machine-dependent code implements the timer event routine.
- */
-
-#else /* MACHINE_TIMER_ROUTINES */
-
/*
* Update the current thread timer and
* start the new timer. Requires a current
PROCESSOR_DATA(processor, thread_timer) = new_timer;
new_timer->tstamp = tstamp;
}
-
-#endif /* MACHINE_TIMER_ROUTINES */