Type Alias seL4_Word 

pub type seL4_Word = seL4_Uint64;