sel4_kit::arch

Function get_cval

Source 
pub fn get_cval() -> Duration
Expand description

获取当前 timer 定时的时间