GICD_IPRIORITYRnE 274 drivers/irqchip/irq-gic-v3.c return GICD_IPRIORITYRnE; GICD_IPRIORITYRnE 744 drivers/irqchip/irq-gic-v3.c writel_relaxed(GICD_INT_DEF_PRI_X4, base + GICD_IPRIORITYRnE + i);