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/priority.c | 1 -
 1 file changed, 1 deletion(-)

(limited to 'kern/priority.c')

diff --git a/kern/priority.c b/kern/priority.c
index 3dba0c80..fe11d0d4 100644
--- a/kern/priority.c
+++ b/kern/priority.c
@@ -45,7 +45,6 @@
 #include <kern/priority.h>
 #include <kern/processor.h>
 #include <kern/timer.h>
-#include <kern/time_stamp.h>
 #include <machine/machspl.h>
 
 
-- 
cgit v1.2.3