/trunk/kernel/arch/ia32/include/smp/apic.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __APIC_H__ |
#define __APIC_H__ |
#ifndef KERN_ia32_APIC_H_ |
#define KERN_ia32_APIC_H_ |
|
#include <arch/types.h> |
#include <cpu.h> |
368,4 → 368,3 |
|
/** @} |
*/ |
|
/trunk/kernel/arch/ia32/include/smp/mps.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __MPS_H__ |
#define __MPS_H__ |
#ifndef KERN_ia32_MPS_H_ |
#define KERN_ia32_MPS_H_ |
|
#include <arch/types.h> |
#include <typedefs.h> |
132,4 → 132,3 |
|
/** @} |
*/ |
|
/trunk/kernel/arch/ia32/include/smp/smp.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __ia32_SMP_H__ |
#define __ia32_SMP_H__ |
#ifndef KERN_ia32_SMP_H_ |
#define KERN_ia32_SMP_H_ |
|
#include <arch/types.h> |
#include <typedefs.h> |
53,4 → 53,3 |
|
/** @} |
*/ |
|