xnu-4570.20.62.tar.gz

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

diff --git a/osfmk/kern/timer.c b/osfmk/kern/timer.c
index 2ddcbd9b63428db8c0f41be7b72c89efd9c6db21..f101eb17142ac9218c0382b51c2d127d2789cc4b 100644 (file)
--- a/osfmk/kern/timer.c
+++ b/osfmk/kern/timer.c
@@ -64,7 +64,11 @@
 #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.