#include "syscalls.h"

syscall(timerfd_gettime,timerfd_gettime)
