#include <machine/syscall.h> #include <sys/time.h> #include "internal_syscall.h" /* Get the current time. Only relatively correct. */ int _gettimeofday(struct timeval *tp, void *tzp) { return syscall_errno (SYS_gettimeofday, 1, tp, 0, 0, 0, 0, 0); }