clock.c (108B)
1 #include <time.h> 2 #include "syscall.h" 3 4 clock_t clock(void) 5 { 6 return syscall(VXSYSCLOCK, 0, 0, 0, 0, 0); 7 }