socfpga_cpu1start_addr   38 arch/arm/mach-socfpga/core.h extern unsigned long socfpga_cpu1start_addr;
socfpga_cpu1start_addr   25 arch/arm/mach-socfpga/platsmp.c 	if (socfpga_cpu1start_addr) {
socfpga_cpu1start_addr   33 arch/arm/mach-socfpga/platsmp.c 		       sys_manager_base_addr + (socfpga_cpu1start_addr & 0x000000ff));
socfpga_cpu1start_addr   50 arch/arm/mach-socfpga/platsmp.c 	if (socfpga_cpu1start_addr) {
socfpga_cpu1start_addr   56 arch/arm/mach-socfpga/platsmp.c 		       sys_manager_base_addr + (socfpga_cpu1start_addr & 0x00000fff));
socfpga_cpu1start_addr   22 arch/arm/mach-socfpga/socfpga.c unsigned long socfpga_cpu1start_addr;
socfpga_cpu1start_addr   31 arch/arm/mach-socfpga/socfpga.c 			(u32 *) &socfpga_cpu1start_addr))
socfpga_cpu1start_addr   36 arch/arm/mach-socfpga/socfpga.c 	sync_cache_w(&socfpga_cpu1start_addr);