| /branches/sparc/kernel/arch/sparc64/src/smp/sun4v/smp.c |
|---|
| 44,7 → 44,6 |
| #include <synch/synch.h> |
| #include <synch/waitq.h> |
| #include <print.h> |
| #include <arch/cpu_node.h> |
| /** Determine number of processors. */ |
| void smp_init(void) |
| /branches/sparc/kernel/arch/sparc64/src/smp/sun4u/smp.c |
|---|
| 35,7 → 35,7 |
| #include <smp/smp.h> |
| #include <genarch/ofw/ofw_tree.h> |
| #include <cpu.h> |
| #include <arch/cpu_family.h> |
| #include <arch/sun4u/cpu_family.h> |
| #include <arch/cpu.h> |
| #include <arch.h> |
| #include <config.h> |
| 44,7 → 44,7 |
| #include <synch/synch.h> |
| #include <synch/waitq.h> |
| #include <print.h> |
| #include <arch/cpu_node.h> |
| #include <arch/sun4u/cpu_node.h> |
| /** |
| * This global variable is used to pick-up application processors |