Type Alias sel4_sys::seL4_NodeId

pub type seL4_NodeId = seL4_Word;