#include "syscall.h"
DEFINE(_gettimeofday)
SYSTEM(SYS_gettimeofday)