exynos_get_boot_addr  153 arch/arm/mach-exynos/common.h extern int exynos_get_boot_addr(u32 core_id, unsigned long *boot_addr);
exynos_get_boot_addr  218 arch/arm/mach-exynos/pm.c 			ret = exynos_get_boot_addr(1, &boot_addr);