Type Alias seL4_Word

pub type seL4_Word = seL4_Uint64;