SYS_timer_settime

Constant SYS_timer_settime 

Source
pub const SYS_timer_settime: c_long = 0x400000df;