sel4_kit::arch

Function set_timer

Source 
pub fn set_timer(next: Duration)
Expand description

设置定时器