1 // SPDX-License-Identifier: GPL-2.0-or-later
15 #include <asm/code-patching.h>
17 #include <asm/pci-bridge.h>
35 smp_86xx_release_core(int nr)  in smp_86xx_release_core()  argument
40 	if (nr < 0 || nr >= NR_CPUS)  in smp_86xx_release_core()
44 	 * Startup Core #nr.  in smp_86xx_release_core()
49 	pcr |= 1 << (nr + 24);  in smp_86xx_release_core()
57 smp_86xx_kick_cpu(int nr)  in smp_86xx_kick_cpu()  argument
64 	if (nr < 0 || nr >= NR_CPUS)  in smp_86xx_kick_cpu()
65 		return -ENOENT;  in smp_86xx_kick_cpu()
67 	pr_debug("smp_86xx_kick_cpu: kick CPU #%d\n", nr);  in smp_86xx_kick_cpu()
78 	/* Kick that CPU */  in smp_86xx_kick_cpu()
79 	smp_86xx_release_core(nr);  in smp_86xx_kick_cpu()
81 	/* Wait a bit for the CPU to take the exception. */  in smp_86xx_kick_cpu()
82 	while ((__secondary_hold_acknowledge != nr) && (n++, n < 1000))  in smp_86xx_kick_cpu()
90 	pr_debug("wait CPU #%d for %d msecs.\n", nr, n);  in smp_86xx_kick_cpu()