GICC_PMR
gicc_write(sc, GICC_PMR, armgic_ipl_to_priority(ipl));
gicc_write(sc, GICC_PMR, armgic_ipl_to_priority(old_ipl));
old_ipl, gicc_read(sc, GICC_PMR), gicc_read(sc, GICC_HPPIR));
gicc_read(sc, GICC_PMR));
gicc_write(sc, GICC_PMR, armgic_ipl_to_priority(ipl));
gicc_write(sc, GICC_PMR, armgic_ipl_to_priority(ci->ci_cpl)); // set PMR
gicc_write(sc, GICC_PMR, 0xff);
uint32_t pmr = gicc_read(sc, GICC_PMR);
#define GICv1_ICCPMR GICC_PMR