_PROTOTYPE(int get_mtab_entry, (char *_s1, char *_s2, char *_s3, char *_s4));
_PROTOTYPE(int put_mtab_entry, (char *_s1, char *_s2, char *_s3, char *_s4));
+/* read_tsc() and friends */
+_PROTOTYPE(void read_tsc, (u32_t *hi, u32_t *lo));
+_PROTOTYPE(void read_tsc_64, (u64_t *t));
+
/* return values for fsversion */
#define FSVERSION_MFS1 0x00001
#define FSVERSION_MFS2 0x00002
typedef struct util_timingdata util_timingdata_t;
-/* read_tsc() and friends. */
-_PROTOTYPE( void read_tsc_64, (u64_t *t) );
-_PROTOTYPE( void read_tsc, (u32_t *hi, u32_t *lo) );
-
#endif /* _MINIX_SYSUTIL_H */
-#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;