GICR_IPRIORITYRn
ipriority = gicr_read_4(sc, n, GICR_IPRIORITYRn(is->is_irq / 4));
gicr_write_4(sc, n, GICR_IPRIORITYRn(is->is_irq / 4), ipriority);
gicr_write_4(sc, ci->ci_gic_redist, GICR_IPRIORITYRn(n / 4), priority);