Type Alias seL4_Time 

pub type seL4_Time = seL4_Uint64;