diff options
Diffstat (limited to 'kern/startup.c')
| -rw-r--r-- | kern/startup.c | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/kern/startup.c b/kern/startup.c index 1f873192..bf63ec0e 100644 --- a/kern/startup.c +++ b/kern/startup.c @@ -49,7 +49,6 @@ #include <kern/timer.h> #include <kern/xpr.h> #include <kern/bootstrap.h> -#include <kern/time_stamp.h> #include <kern/startup.h> #include <vm/vm_kern.h> #include <vm/vm_map.h> @@ -131,8 +130,6 @@ void setup_main(void) xprbootstrap(); #endif /* XPR_DEBUG */ - timestamp_init(); - machine_init(); mapable_time_init(); |