SYS_timer_gettime64

Constant SYS_timer_gettime64 

Source
pub const SYS_timer_gettime64: c_long = 0x1138;