Type Alias sel4_sys::seL4_Word

source · 
pub type seL4_Word = seL4_Uint64;