Type Alias sel4_sys::seL4_Time

source · 
pub type seL4_Time = seL4_Uint64;