version 1.4, 2011/04/29 22:00:03 |
version 1.5, 2012/10/27 17:18:02 |
Line 77 static int cpu_fmn_intr(void *, rmixl_fm |
|
Line 77 static int cpu_fmn_intr(void *, rmixl_fm |
|
#ifdef MULTIPROCESSOR |
#ifdef MULTIPROCESSOR |
void cpu_rmixl_hatch(struct cpu_info *); |
void cpu_rmixl_hatch(struct cpu_info *); |
void cpu_rmixl_run(struct cpu_info *); |
void cpu_rmixl_run(struct cpu_info *); |
#if 0 |
|
static void cpu_setup_trampoline_ipi(struct device *, struct cpu_info *); |
|
#endif |
|
static int cpu_setup_trampoline_common(struct cpu_info *, struct rmixl_cpu_trampoline_args *); |
static int cpu_setup_trampoline_common(struct cpu_info *, struct rmixl_cpu_trampoline_args *); |
static void cpu_setup_trampoline_callback(struct cpu_info *); |
static void cpu_setup_trampoline_callback(struct cpu_info *); |
#endif /* MULTIPROCESSOR */ |
#endif /* MULTIPROCESSOR */ |