#include "syscalls.h"

#ifdef __NR_timer_gettime
syscall(timer_gettime,timer_gettime)
#endif
