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/priority.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/priority.c')
-rw-r--r-- | kern/priority.c | 1 |
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> |