250 int exynos_set_boot_addr(u32 core_id, unsigned long boot_addr)  in exynos_set_boot_addr()  argument
258 	ret = call_firmware_op(set_cpu_boot_addr, core_id, boot_addr);  in exynos_set_boot_addr()
268 		__raw_writel(boot_addr, boot_reg);  in exynos_set_boot_addr()
275 int exynos_get_boot_addr(u32 core_id, unsigned long *boot_addr)  in exynos_get_boot_addr()  argument
283 	ret = call_firmware_op(get_cpu_boot_addr, core_id, boot_addr);  in exynos_get_boot_addr()
293 		*boot_addr = __raw_readl(boot_reg);  in exynos_get_boot_addr()
353 		unsigned long boot_addr;  in exynos_boot_secondary()  local
357 		boot_addr = virt_to_phys(exynos4_secondary_startup);  in exynos_boot_secondary()
359 		ret = exynos_set_boot_addr(core_id, boot_addr);  in exynos_boot_secondary()
440 		unsigned long boot_addr;  in exynos_smp_prepare_cpus()  local
447 		boot_addr = virt_to_phys(exynos4_secondary_startup);  in exynos_smp_prepare_cpus()
449 		ret = exynos_set_boot_addr(core_id, boot_addr);  in exynos_smp_prepare_cpus()