diff options
author | Flavio Cruz <flaviocruz@gmail.com> | 2022-12-27 09:06:19 -0500 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2022-12-27 21:39:34 +0100 |
commit | 0ba99b2a18bd423f8aa6ca0315051de76c20ef9c (patch) | |
tree | d0e877b2e6d5dc8bc466603bde54856f85a41e30 /kern/startup.c | |
parent | c7a852bacfa796bff0cc0eb75aa8309f8a1d788c (diff) | |
download | gnumach-0ba99b2a18bd423f8aa6ca0315051de76c20ef9c.tar.gz gnumach-0ba99b2a18bd423f8aa6ca0315051de76c20ef9c.tar.bz2 gnumach-0ba99b2a18bd423f8aa6ca0315051de76c20ef9c.zip |
Delete kern_timestamp system call since it is not used
Message-Id: <Y6r72z4cKVCMDSKy@mars>
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(); |