reg_pen_lo        202 drivers/irqchip/irq-csky-apb-intc.c 	void __iomem *reg_pen_lo = reg_base + CK_INTC_PEN31_00;
reg_pen_lo        211 drivers/irqchip/irq-csky-apb-intc.c 	ret = handle_irq_perbit(regs, readl(reg_pen_lo), 0);
reg_pen_lo        225 drivers/irqchip/irq-csky-apb-intc.c 			readl(reg_pen_lo + CK_INTC_DUAL_BASE), 64);