gicc_write
gicc_write(sc, GICC_PMR, armgic_ipl_to_priority(ipl));
gicc_write(sc, GICC_PMR, armgic_ipl_to_priority(old_ipl));
gicc_write(sc, GICC_PMR, armgic_ipl_to_priority(ipl));
gicc_write(sc, GICC_EOIR, iar);
gicc_write(sc, GICC_PMR, armgic_ipl_to_priority(ci->ci_cpl)); // set PMR
gicc_write(sc, GICC_CTRL, GICC_CTRL_V1_Enable); // enable interrupt
gicc_write(sc, GICC_CTRL, 0); /* disable all interrupts */
gicc_write(sc, GICC_PMR, 0xff);
gicc_write(sc, GICC_CTRL, GICC_CTRL_V1_Enable); // enable CPU interrupts