#include "syscalls.h"

#ifdef __NR_timer_getoverrun
syscall(timer_getoverrun,timer_getoverrun)
#endif
