Type Alias seL4_Domain 

pub type seL4_Domain = seL4_Word;