seL4_DomainSet

sel4_sys

Type Alias seL4_DomainSet 

Source 
pub type seL4_DomainSet = seL4_CPtr;