#include "syscalls.h"

syscall(osf_gettimeofday,time)