reg_pen_hi        203 drivers/irqchip/irq-csky-apb-intc.c 	void __iomem *reg_pen_hi = reg_base + CK_INTC_PEN63_32;
reg_pen_hi        207 drivers/irqchip/irq-csky-apb-intc.c 	ret = handle_irq_perbit(regs, readl(reg_pen_hi), 32);
reg_pen_hi        220 drivers/irqchip/irq-csky-apb-intc.c 			readl(reg_pen_hi + CK_INTC_DUAL_BASE), 96);