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