ncores = __raw_readl(IO_ADDRESS(REALVIEW_MPCORE_SCU_BASE) + SCU_CONFIG); 
ncores = __raw_readl(__io_address(REALVIEW_MPCORE_SCU_BASE) + SCU_CONFIG); 
static unsigned int __init get_core_count(void){	unsigned int ncores;	ncores = __raw_readl(IO_ADDRESS(REALVIEW_MPCORE_SCU_BASE) + SCU_CONFIG);	return (ncores & 0x03) + 1;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5d43045bcd296f9f269ab266bf26cd667d8d560c/platsmp.c/clean/arch/arm/mach-realview/platsmp.c