Type Alias seL4_NodeId

pub type seL4_NodeId = seL4_Word;