Constant SYS_timer_gettime 

pub const SYS_timer_gettime: Syscall;