Go to the documentation of this file.
21 #include <linux/kernel.h>
25 #include <asm/addrspace.h>
34 pr_debug(
"avail: cpu%d is out of range\n", cpu);
40 pr_debug(
"avail: cpu%d is not ready\n", cpu);
44 pr_debug(
"avail: too late.. cpu%d is already gone\n", cpu);
52 unsigned long pc,
unsigned long sp,
53 unsigned long gp,
unsigned long a0)
61 pr_debug(
"launch: I am cpu%d!\n", cpu);
66 pr_debug(
"launch: starting cpu%d\n", cpu);
80 pr_debug(
"launch: cpu%d gone!\n", cpu);