From 0ba99b2a18bd423f8aa6ca0315051de76c20ef9c Mon Sep 17 00:00:00 2001
From: Flavio Cruz <flaviocruz@gmail.com>
Date: Tue, 27 Dec 2022 09:06:19 -0500
Subject: Delete kern_timestamp system call since it is not used

Message-Id: <Y6r72z4cKVCMDSKy@mars>
---
 kern/startup.c | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'kern/startup.c')

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();
-- 
cgit v1.2.3