#include "syscalls.h"

syscall(rt_sigtimedwait,__rt_sigtimedwait)