Symbol: GICD_ICFGRnE
drivers/irqchip/irq-gic-v3.c
438
return GICD_ICFGRnE;
drivers/irqchip/irq-gic-v3.c
953
writel_relaxed(0, base + GICD_ICFGRnE + i / 4);