Type Alias sel4::Time

source ยท 
pub type Time = u64;
Expand description

Corresponds to seL4_Time.