exynos_set_boot_addr
extern int exynos_set_boot_addr(u32 core_id, unsigned long boot_addr);
ret = exynos_set_boot_addr(core_id, boot_addr);
ret = exynos_set_boot_addr(1, boot_addr);
ret = exynos_set_boot_addr(1, boot_addr);
(void)exynos_set_boot_addr(1, boot_addr);