Symbol: exynos4_secondary_startup
arch/arm/mach-exynos/platsmp.c
27
extern void exynos4_secondary_startup(void);
arch/arm/mach-exynos/platsmp.c
374
boot_addr = __pa_symbol(exynos4_secondary_startup);