2  * Secondary cpu support
36 		mmu_mark_enabled(ti->cpu);  in secondary_cinit()
44 	set_cpu_online(ti->cpu, true);  in secondary_cinit()
54 static void __smp_boot_secondary(int cpu, secondary_entry_fn entry)  in __smp_boot_secondary()  argument
60 	mmu_mark_disabled(cpu);  in __smp_boot_secondary()
61 	ret = cpu_psci_cpu_boot(cpu);  in __smp_boot_secondary()
64 	while (!cpu_online(cpu))  in __smp_boot_secondary()
68 void smp_boot_secondary(int cpu, secondary_entry_fn entry)  in smp_boot_secondary()  argument
71 	assert_msg(!cpu_online(cpu), "CPU%d already boot once", cpu);  in smp_boot_secondary()
72 	__smp_boot_secondary(cpu, entry);  in smp_boot_secondary()
76 void smp_boot_secondary_nofail(int cpu, secondary_entry_fn entry)  in smp_boot_secondary_nofail()  argument
79 	if (!cpu_online(cpu))  in smp_boot_secondary_nofail()
80 		__smp_boot_secondary(cpu, entry);  in smp_boot_secondary_nofail()