move rrrrrrread_tsc from libsys to libc so anyone can use it

2010-08-20 18:43:56 +00:00
parent 205855b8ee
commit b337d3f8e5
6 changed files with 8 additions and 9 deletions
--- a/lib/libc/other/Makefile.inc
+++ b/lib/libc/other/Makefile.inc
@@ -86,6 +86,8 @@ SRCS+=  \
 	putw.c \
 	pwcache.c \
 	random.c \
+	read_tsc.S \
+	read_tsc_64.c \
 	realpath.c \
 	rindex.c \
 	rlimit.c \
--- a/lib/libc/other/read_tsc.S
+++ b/lib/libc/other/read_tsc.S
--- a/lib/libc/other/read_tsc_64.c
+++ b/lib/libc/other/read_tsc_64.c
@@ -1,12 +1,11 @@

-#include "sysutil.h"
 #include <minix/u64.h>
-#include <minix/syslib.h>
+#include <minix/minlib.h>

 /* Utility function to work directly with u64_t
 * By Antonio Mancina
 */
-PUBLIC void read_tsc_64(t)
+void read_tsc_64(t)
 u64_t* t;
 {
    u32_t lo, hi;
--- a/lib/libsys/Makefile
+++ b/lib/libsys/Makefile
@@ -112,8 +112,6 @@ SRCS=  \
 	env_prefix.c \
 	fkey_ctl.c \
 	tsc_util.c \
-	read_tsc.S \
-	read_tsc_64.c \
 	ser_putc.c \
 	stacktrace.c \
 	sys_hz.c \