Searched refs:GICC_PMR (Results 1 – 3 of 3) sorted by relevance
52 #define GICC_PMR (GICC_OFFSET + 0x04) /* Interrupt Priority Mask … macro
112 GIC_REG_32(GICC_PMR) = 0xFF; in HalIrqInitPercpu()
115 export the GICC_PMR register in the format of the GICH_VMCR.VMPriMask