gic_icc_write
gic_icc_write(EOIR1, gi->gi_irq);
gic_icc_write(EOIR1, gi->gi_irq);
gic_icc_write(SGI1R, val);
gic_icc_write(SGI1R, val);
gic_icc_write(PMR, mask & ICC_PMR_EL1_PRIO_MASK);
gic_icc_write(EOIR1, (uint64_t)active_irq);
gic_icc_write(EOIR1, gi->gi_irq);
gic_icc_write(EOIR1, gi->gi_irq);
gic_icc_write(reg, val); \
gic_icc_write(reg, val); \
gic_icc_write(EOIR1, girq->gi_lpi + GIC_FIRST_LPI);
gic_icc_write(EOIR1, girq->gi_lpi + GIC_FIRST_LPI);