xnu-2050.48.11.tar.gz

[apple/xnu.git] / osfmk / kern / timer.c

diff --git a/osfmk/kern/timer.c b/osfmk/kern/timer.c
index 17a058114745cec1e2a5fe9f73dee695f21bb587..02a088597a59f889259899d02e96c9f8f468b6e0 100644 (file)
--- a/osfmk/kern/timer.c
+++ b/osfmk/kern/timer.c
@@ -1,5 +1,5 @@
 /*
 /*

- * Copyright (c) 2000 Apple Computer, Inc. All rights reserved.
+ * Copyright (c) 2000-2007 Apple Inc. All rights reserved.

  *
  * @APPLE_OSREFERENCE_LICENSE_HEADER_START@
  * 
  *
  * @APPLE_OSREFERENCE_LICENSE_HEADER_START@
  * 


@@ -56,7 +56,6 @@
 /* 
  */
 
 /* 
  */
 

-#include <stat_time.h>

 #include <machine_timer_routines.h>
 
 #include <mach/kern_return.h>
 #include <machine_timer_routines.h>
 
 #include <mach/kern_return.h>


@@ -67,6 +66,12 @@
 #include <kern/sched_prim.h>
 #include <kern/timer.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.
  */
 /*
  *     timer_init initializes a timer.
  */


@@ -74,12 +79,14 @@ void
 timer_init(
        timer_t         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;
        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__) */

 }
 
 /*
 }
 
 /*


@@ -98,43 +105,51 @@ timer_delta(
        return (new - old);
 }
 
        return (new - old);
 }
 

-#if    !STAT_TIME
+void
+timer_advance(
+       timer_t         timer,
+       uint64_t        delta)
+{
+#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__) */
+}
+
+void
+timer_start(
+       timer_t         timer,
+       uint64_t        tstamp)
+{
+       timer->tstamp = tstamp;
+}
+
+void
+timer_stop(
+       timer_t         timer,
+       uint64_t        tstamp)
+{
+       timer_advance(timer, tstamp - timer->tstamp);
+}

 
 /*
 
 /*

- *     Update the current timer (if any)
- *     and start the new timer, which
- *     could be either the same or NULL.
- *
- *     Called with interrupts disabled.
+ *     Update the timer and start a new one.

  */
 void
 timer_switch(
  */
 void
 timer_switch(

-       uint32_t                tstamp,
+       timer_t                 timer,
+       uint64_t                tstamp,

        timer_t                 new_timer)
 {
        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);
-       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;
-       }
-
-       /*
-        *      Start new timer.
-        */
-       PROCESSOR_DATA(processor, current_timer) = new_timer;
-       if (new_timer != NULL)
-               new_timer->tstamp = tstamp;
+       timer_advance(timer, tstamp - timer->tstamp);
+       new_timer->tstamp = tstamp;

 }
 
 #if    MACHINE_TIMER_ROUTINES
 }
 
 #if    MACHINE_TIMER_ROUTINES


@@ -146,39 +161,31 @@ timer_switch(
 #else  /* MACHINE_TIMER_ROUTINES */
 
 /*
 #else  /* MACHINE_TIMER_ROUTINES */
 
 /*

- *     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
  *     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;
        timer_t                 new_timer)
 {
        processor_t             processor = current_processor();
        timer_t                 timer;

-       uint32_t                old_low, low;

 
        /*
         *      Update current timer.
         */
 
        /*
         *      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.
         */
 
        /*
         *      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 */
        new_timer->tstamp = tstamp;
 }
 
 #endif /* MACHINE_TIMER_ROUTINES */

-
-#endif /* STAT_TIME */