Type Alias sel4::Time

source · 
pub type Time = u64;
Expand description

Corresponds to seL4_Time.