GICP_SECR          62 drivers/irqchip/irq-mvebu-sei.c 		       sei->base + GICP_SECR(reg_idx));
GICP_SECR         337 drivers/irqchip/irq-mvebu-sei.c 		irqmap = readl_relaxed(sei->base + GICP_SECR(idx));
GICP_SECR         363 drivers/irqchip/irq-mvebu-sei.c 		writel_relaxed(0xFFFFFFFF, sei->base + GICP_SECR(reg_idx));