Type Alias seL4_NodeId 

pub type seL4_NodeId = seL4_Word;