Constant seL4_ARM_ParityEnabled 

pub const seL4_ARM_ParityEnabled: Type = 2;