/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> |