Searched refs:exynos4210_write_secondary (Results 1 – 3 of 3) sorted by relevance
111 void exynos4210_write_secondary(ARMCPU *cpu,
71 .write_secondary_boot = exynos4210_write_secondary,
473 void exynos4210_write_secondary(ARMCPU *cpu, in exynos4210_write_secondary() function