#include "syscalls.h"

syscall(clock_gettime,clock_gettime)
