(IO_ADDRESS(REALVIEW_SYS_BASE) + REALVIEW_SYS_FLAGSC_OFFSET)); 
__io_address(REALVIEW_SYS_BASE) + REALVIEW_SYS_FLAGSC_OFFSET); 
static void __init poke_milo(void){	extern void secondary_startup(void);	/* nobody is to be released from the pen yet */	pen_release = -1;	/*	 * write the address of secondary startup into the system-wide	 * flags register, then clear the bottom two bits, which is what	 * BootMonitor is waiting for	 */#if 1#define REALVIEW_SYS_FLAGSS_OFFSET 0x30	__raw_writel(virt_to_phys(realview_secondary_startup),		     (IO_ADDRESS(REALVIEW_SYS_BASE) +		      REALVIEW_SYS_FLAGSS_OFFSET));#define REALVIEW_SYS_FLAGSC_OFFSET 0x34	__raw_writel(3,		     (IO_ADDRESS(REALVIEW_SYS_BASE) +		      REALVIEW_SYS_FLAGSC_OFFSET));#endif	mb();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5d43045bcd296f9f269ab266bf26cd667d8d560c/platsmp.c/buggy/arch/arm/mach-realview/platsmp.c