sel4_sys::seL4_ARM_VMAttributes

Constant seL4_ARM_ParityEnabled

Source 
pub const seL4_ARM_ParityEnabled: Type = 2;