331 		writel(0x0000a05f, __io_address(REALVIEW_SYS_LOCK));  in gic_init_irq()
332 		pldctrl = readl(__io_address(REALVIEW_SYS_BASE)	+ REALVIEW_EB11MP_SYS_PLD_CTRL1);  in gic_init_irq()
334 		writel(pldctrl, __io_address(REALVIEW_SYS_BASE) + REALVIEW_EB11MP_SYS_PLD_CTRL1);  in gic_init_irq()
335 		writel(0x00000000, __io_address(REALVIEW_SYS_LOCK));  in gic_init_irq()
338 		gic_init(0, 29, __io_address(REALVIEW_EB11MP_GIC_DIST_BASE),  in gic_init_irq()
339 			 __io_address(REALVIEW_EB11MP_GIC_CPU_BASE));  in gic_init_irq()
343 		gic_init(1, 96, __io_address(REALVIEW_EB_GIC_DIST_BASE),  in gic_init_irq()
344 			 __io_address(REALVIEW_EB_GIC_CPU_BASE));  in gic_init_irq()
349 		gic_init(0, 29, __io_address(REALVIEW_EB_GIC_DIST_BASE),  in gic_init_irq()
350 			 __io_address(REALVIEW_EB_GIC_CPU_BASE));  in gic_init_irq()
407 	timer0_va_base = __io_address(REALVIEW_EB_TIMER0_1_BASE);  in realview_eb_timer_init()
408 	timer1_va_base = __io_address(REALVIEW_EB_TIMER0_1_BASE) + 0x20;  in realview_eb_timer_init()
409 	timer2_va_base = __io_address(REALVIEW_EB_TIMER2_3_BASE);  in realview_eb_timer_init()
410 	timer3_va_base = __io_address(REALVIEW_EB_TIMER2_3_BASE) + 0x20;  in realview_eb_timer_init()
417 	realview_clk_init(__io_address(REALVIEW_SYS_BASE), false);  in realview_eb_timer_init()
424 	void __iomem *reset_ctrl = __io_address(REALVIEW_SYS_RESETCTL);  in realview_eb_restart()
425 	void __iomem *lock_ctrl = __io_address(REALVIEW_SYS_LOCK);  in realview_eb_restart()
452 		l2x0_init(__io_address(REALVIEW_EB11MP_L220_BASE), 0x00790000, 0xfe000fff);  in realview_eb_init()