| /trunk/kernel/arch/sparc64/src/smp/smp.c |
|---|
| 42,7 → 42,6 |
| #include <arch/types.h> |
| #include <synch/synch.h> |
| #include <synch/waitq.h> |
| #include <typedefs.h> |
| #include <print.h> |
| /** |
| /trunk/kernel/arch/sparc64/src/smp/ipi.c |
|---|
| 34,6 → 34,7 |
| #include <smp/ipi.h> |
| #include <cpu.h> |
| #include <arch.h> |
| #include <arch/cpu.h> |
| #include <arch/asm.h> |
| #include <config.h> |