/*
- * Copyright (c) 2000 Apple Computer, Inc. All rights reserved.
+ * Copyright (c) 2000-2007 Apple Inc. All rights reserved.
*
* @APPLE_OSREFERENCE_LICENSE_HEADER_START@
*
/*
*/
-#include <stat_time.h>
-#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>
+int precise_user_kernel_time = 1;
+
/*
* timer_init initializes a timer.
*/
timer_init(
timer_t timer)
{
+ timer->tstamp = 0;
+#if defined(__LP64__)
+ timer->all_bits = 0;
+#else
timer->low_bits = 0;
timer->high_bits = 0;
timer->high_bits_check = 0;
-#if !STAT_TIME
- timer->tstamp = 0;
-#endif /* STAT_TIME */
+#endif /* defined(__LP64__) */
}
/*
return (new - old);
}
-#if !STAT_TIME
-
-/*
- * Update the current timer (if any)
- * and start the new timer, which
- * could be either the same or NULL.
- *
- * Called with interrupts disabled.
- */
void
-timer_switch(
- uint32_t tstamp,
- timer_t new_timer)
+timer_advance(
+ timer_t timer,
+ uint64_t delta)
{
- processor_t processor = current_processor();
- timer_t timer;
- uint32_t old_low, low;
-
- /*
- * Update current timer.
- */
- timer = PROCESSOR_DATA(processor, current_timer);
- if (timer != NULL) {
- old_low = timer->low_bits;
- low = old_low + tstamp - timer->tstamp;
- if (low < old_low)
- timer_update(timer, timer->high_bits + 1, low);
- else
- timer->low_bits = low;
- }
+#if defined(__LP64__)
+ timer->all_bits += delta;
+#else
+ uint64_t low;
+
+ low = delta + timer->low_bits;
+ if (low >> 32)
+ timer_update(timer, (uint32_t)(timer->high_bits + (low >> 32)), (uint32_t)low);
+ else
+ timer->low_bits = (uint32_t)low;
+#endif /* defined(__LP64__) */
+}
- /*
- * Start new timer.
- */
- PROCESSOR_DATA(processor, current_timer) = new_timer;
- if (new_timer != NULL)
- new_timer->tstamp = tstamp;
+void
+timer_start(
+ timer_t timer,
+ uint64_t tstamp)
+{
+ timer->tstamp = tstamp;
}
-#if MACHINE_TIMER_ROUTINES
+void
+timer_stop(
+ timer_t timer,
+ uint64_t tstamp)
+{
+ timer_advance(timer, tstamp - timer->tstamp);
+}
/*
- * Machine-dependent code implements the timer event routine.
+ * Update the timer and start a new one.
*/
-
-#else /* MACHINE_TIMER_ROUTINES */
+void
+timer_switch(
+ timer_t timer,
+ uint64_t tstamp,
+ timer_t new_timer)
+{
+ timer_advance(timer, tstamp - timer->tstamp);
+ new_timer->tstamp = tstamp;
+}
/*
- * Update the current timer and start
- * the new timer. Requires a current
+ * Update the current thread timer and
+ * start the new timer. Requires a current
* and new timer.
*
* Called with interrupts disabled.
*/
void
-timer_event(
- uint32_t tstamp,
+thread_timer_event(
+ uint64_t tstamp,
timer_t new_timer)
{
processor_t processor = current_processor();
timer_t timer;
- uint32_t old_low, low;
/*
* Update current timer.
*/
- timer = PROCESSOR_DATA(processor, current_timer);
- old_low = timer->low_bits;
- low = old_low + tstamp - timer->tstamp;
- if (low < old_low)
- timer_update(timer, timer->high_bits + 1, low);
- else
- timer->low_bits = low;
+ timer = PROCESSOR_DATA(processor, thread_timer);
+ timer_advance(timer, tstamp - timer->tstamp);
/*
* Start new timer.
*/
- PROCESSOR_DATA(processor, current_timer) = new_timer;
+ PROCESSOR_DATA(processor, thread_timer) = new_timer;
new_timer->tstamp = tstamp;
}
-
-#endif /* MACHINE_TIMER_ROUTINES */
-
-#endif /* STAT_TIME */