exynos4_secondary_startup   29 arch/arm/mach-exynos/platsmp.c extern void exynos4_secondary_startup(void);
exynos4_secondary_startup  378 arch/arm/mach-exynos/platsmp.c 		boot_addr = __pa_symbol(exynos4_secondary_startup);