diff options
Diffstat (limited to 'kern/mach_clock.c')
| -rw-r--r-- | kern/mach_clock.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kern/mach_clock.c b/kern/mach_clock.c index 844e7b37..29a14c9d 100644 --- a/kern/mach_clock.c +++ b/kern/mach_clock.c @@ -54,6 +54,7 @@ #include <kern/thread.h> #include <kern/time_stamp.h> #include <kern/timer.h> +#include <kern/priority.h> #include <vm/vm_kern.h> #include <sys/time.h> #include <machine/mach_param.h> /* HZ */ @@ -148,7 +149,6 @@ void clock_interrupt(usec, usermode, basepri) * Increment the CPU time statistics. */ { - extern void thread_quantum_update(); /* in priority.c */ int state; if (usermode) |