Time
sel4
0.1.0
sel4
Type Alias
Time
Copy item path
Source
pub type Time = u64;
Expand description
Corresponds to
seL4_Time
.