phys_bytes base, phys_bytes size, phys_bytes offset));
_PROTOTYPE( int sys_readbios, (phys_bytes address, void *buf, size_t size));
+_PROTOTYPE( int sys_stime, (time_t boottime));
/* Shorthands for sys_sdevio() system call. */
#define sys_insb(port, proc_nr, buffer, count) \
_PROTOTYPE( void report, (char *who, char *mess, int num));
_PROTOTYPE( void panic, (char *who, char *mess, int num));
_PROTOTYPE( int getuptime, (clock_t *ticks));
+_PROTOTYPE( int getuptime2, (clock_t *ticks, time_t *boottime));
_PROTOTYPE( int tickdelay, (clock_t ticks));
_PROTOTYPE( int micro_delay_calibrate, (void));
_PROTOTYPE( int micro_delay, (u32_t micros));