#include <sys/time.h>
#include <syscall.h>
#include <syscall_nums.h>

DEFN_SYSCALL2(gettimeofday, SYS_GETTIMEOFDAY, void *, void *);

int gettimeofday(struct timeval *p, void *z){
	return syscall_gettimeofday(p,z);
}