aboutsummaryrefslogtreecommitdiff
path: root/kern/priority.c
diff options
context:
space:
mode:
authorFlavio Cruz <flaviocruz@gmail.com>2022-12-27 09:06:19 -0500
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2022-12-27 21:39:34 +0100
commit0ba99b2a18bd423f8aa6ca0315051de76c20ef9c (patch)
treed0e877b2e6d5dc8bc466603bde54856f85a41e30 /kern/priority.c
parentc7a852bacfa796bff0cc0eb75aa8309f8a1d788c (diff)
downloadgnumach-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/priority.c')
-rw-r--r--kern/priority.c1
1 files changed, 0 insertions, 1 deletions
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>