Type Alias seL4_Time

pub type seL4_Time = seL4_Uint64;