6 /* Miscellaneous BSD. */
9 /* Miscellaneous MINIX. */
10 void std_err(const char *_s
);
11 void prints(const char *_s
, ...);
12 int fsversion(char *_dev
, char *_prog
);
13 int getprocessor(void);
14 void _cpuid(u32_t
*eax
, u32_t
*ebx
, u32_t
*ecx
, u32_t
*edx
);
15 int load_mtab(char *_prog_name
);
16 uint8_t fs_mode_to_type(mode_t mode
);
17 int get_mtab_entry(char dev
[PATH_MAX
], char mount_point
[PATH_MAX
],
18 char type
[MNTNAMELEN
], char flags
[MNTFLAGLEN
]);
20 /* read_tsc() and friends */
21 void read_tsc(u32_t
*hi
, u32_t
*lo
);
22 void read_tsc_64(u64_t
*t
);
24 /* return values for fsversion */
25 #define FSVERSION_MFS1 0x00001
26 #define FSVERSION_MFS2 0x00002
27 #define FSVERSION_MFS3 0x00003
28 #define FSVERSION_EXT2 0x10002