Type Alias seL4_Domain

pub type seL4_Domain = seL4_Word;