/trunk/kernel/arch/ia32/include/interrupt.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __ia32_INTERRUPT_H__ |
#define __ia32_INTERRUPT_H__ |
#ifndef KERN_ia32_INTERRUPT_H_ |
#define KERN_ia32_INTERRUPT_H_ |
|
#include <arch/types.h> |
#include <arch/pm.h> |
126,4 → 126,3 |
|
/** @} |
*/ |
|
/trunk/kernel/arch/ia32/include/fpu_context.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __ia32_FPU_CONTEXT_H__ |
#define __ia32_FPU_CONTEXT_H__ |
#ifndef KERN_ia32_FPU_CONTEXT_H_ |
#define KERN_ia32_FPU_CONTEXT_H_ |
|
#include <arch/types.h> |
|
48,9 → 48,7 |
uint8_t fpu[512]; /* FXSAVE & FXRSTOR storage area */ |
}; |
|
|
#endif |
|
/** @} |
*/ |
|
/trunk/kernel/arch/ia32/include/byteorder.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __ia32_BYTEORDER_H__ |
#define __ia32_BYTEORDER_H__ |
#ifndef KERN_ia32_BYTEORDER_H_ |
#define KERN_ia32_BYTEORDER_H_ |
|
/* IA-32 is little-endian */ |
#define unative_t_le2host(n) (n) |
43,4 → 43,3 |
|
/** @} |
*/ |
|
/trunk/kernel/arch/ia32/include/cpuid.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __ia32_CPUID_H__ |
#define __ia32_CPUID_H__ |
#ifndef KERN_ia32_CPUID_H_ |
#define KERN_ia32_CPUID_H_ |
|
#include <arch/types.h> |
|
117,4 → 117,3 |
|
/** @} |
*/ |
|
/trunk/kernel/arch/ia32/include/elf.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __ia32_ELF_H__ |
#define __ia32_ELF_H__ |
#ifndef KERN_ia32_ELF_H_ |
#define KERN_ia32_ELF_H_ |
|
#define ELF_MACHINE EM_386 |
#define ELF_DATA_ENCODING ELFDATA2LSB |
43,4 → 43,3 |
|
/** @} |
*/ |
|
/trunk/kernel/arch/ia32/include/bios/bios.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __BIOS_H__ |
#define __BIOS_H__ |
#ifndef KERN_ia32_BIOS_H_ |
#define KERN_ia32_BIOS_H_ |
|
#include <arch/types.h> |
|
43,8 → 43,7 |
|
extern void bios_init(void); |
|
#endif /* __BIOS_H__ */ |
#endif /* KERN_ia32_BIOS_H_ */ |
|
/** @} |
*/ |
|
/trunk/kernel/arch/ia32/include/memstr.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __ia32_MEMSTR_H__ |
#define __ia32_MEMSTR_H__ |
#ifndef KERN_ia32_MEMSTR_H_ |
#define KERN_ia32_MEMSTR_H_ |
|
/** Copy memory |
* |
149,4 → 149,3 |
|
/** @} |
*/ |
|
/trunk/kernel/arch/ia32/include/arg.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __ia32_ARG_H__ |
#define __ia32_ARG_H__ |
#ifndef KERN_ia32_ARG_H_ |
#define KERN_ia32_ARG_H_ |
|
#include <stackarg.h> |
|
41,4 → 41,3 |
|
/** @} |
*/ |
|
/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 |
|
/** @} |
*/ |
|
/trunk/kernel/arch/ia32/include/ddi/ddi.h |
34,8 → 34,8 |
* @brief ia32 specific DDI declarations and macros. |
*/ |
|
#ifndef __ia32_DDI_H__ |
#define __ia32_DDI_H__ |
#ifndef KERN_ia32_DDI_H_ |
#define KERN_ia32_DDI_H_ |
|
extern void io_perm_bitmap_install(void); |
|
43,4 → 43,3 |
|
/** @} |
*/ |
|
/trunk/kernel/arch/ia32/include/atomic.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __ia32_ATOMIC_H__ |
#define __ia32_ATOMIC_H__ |
#ifndef KERN_ia32_ATOMIC_H_ |
#define KERN_ia32_ATOMIC_H_ |
|
#include <arch/types.h> |
#include <arch/barrier.h> |
126,4 → 126,3 |
|
/** @} |
*/ |
|
/trunk/kernel/arch/ia32/include/pm.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __PM_H__ |
#define __PM_H__ |
#ifndef KERN_ia32_PM_H_ |
#define KERN_ia32_PM_H_ |
|
#define IDT_ITEMS 64 |
#define GDT_ITEMS 7 |
180,4 → 180,3 |
|
/** @} |
*/ |
|
/trunk/kernel/arch/ia32/include/boot/memmap.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __ia32_MEMMAP_H__ |
#define __ia32_MEMMAP_H__ |
#ifndef KERN_ia32_MEMMAP_H_ |
#define KERN_ia32_MEMMAP_H_ |
|
/* E820h memory range types - other values*/ |
/* Free memory */ |
75,4 → 75,3 |
|
/** @} |
*/ |
|
/trunk/kernel/arch/ia32/include/boot/boot.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __ia32_BOOT_H__ |
#define __ia32_BOOT_H__ |
#ifndef KERN_ia32_BOOT_H_ |
#define KERN_ia32_BOOT_H_ |
|
#define BOOT_OFFSET 0x108000 |
#define AP_BOOT_OFFSET 0x8000 |
48,4 → 48,3 |
|
/** @} |
*/ |
|
/trunk/kernel/arch/ia32/include/asm.h |
33,8 → 33,8 |
/** @file |
*/ |
|
#ifndef __ia32_ASM_H__ |
#define __ia32_ASM_H__ |
#ifndef KERN_ia32_ASM_H_ |
#define KERN_ia32_ASM_H_ |
|
#include <arch/pm.h> |
#include <arch/types.h> |
298,4 → 298,3 |
|
/** @} |
*/ |
|
/trunk/kernel/arch/ia32/include/faddr.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __ia32_FADDR_H__ |
#define __ia32_FADDR_H__ |
#ifndef KERN_ia32_FADDR_H_ |
#define KERN_ia32_FADDR_H_ |
|
#include <arch/types.h> |
|
43,4 → 43,3 |
|
/** @} |
*/ |
|
/trunk/kernel/arch/ia32/include/mm/frame.h |
32,13 → 32,12 |
/** @file |
*/ |
|
#ifndef __ia32_FRAME_H__ |
#define __ia32_FRAME_H__ |
#ifndef KERN_ia32_FRAME_H_ |
#define KERN_ia32_FRAME_H_ |
|
#define FRAME_WIDTH 12 /* 4K */ |
#define FRAME_SIZE (1<<FRAME_WIDTH) |
|
|
#ifdef KERNEL |
#ifndef __ASM__ |
|
55,4 → 54,3 |
|
/** @} |
*/ |
|
/trunk/kernel/arch/ia32/include/mm/memory_init.h |
33,8 → 33,8 |
* @ingroup ia32mm, am64mm |
*/ |
|
#ifndef __ia32_MEMORY_INIT_H__ |
#define __ia32_MEMORY_INIT_H__ |
#ifndef KERN_ia32_MEMORY_INIT_H_ |
#define KERN_ia32_MEMORY_INIT_H_ |
|
#include <typedefs.h> |
|
46,4 → 46,3 |
|
/** @} |
*/ |
|
/trunk/kernel/arch/ia32/include/mm/page.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __ia32_PAGE_H__ |
#define __ia32_PAGE_H__ |
#ifndef KERN_ia32_PAGE_H_ |
#define KERN_ia32_PAGE_H_ |
|
#include <arch/mm/frame.h> |
|
170,4 → 170,3 |
|
/** @} |
*/ |
|
/trunk/kernel/arch/ia32/include/mm/asid.h |
39,8 → 39,8 |
* interface. |
*/ |
|
#ifndef __ia32_ASID_H__ |
#define __ia32_ASID_H__ |
#ifndef KERN_ia32_ASID_H_ |
#define KERN_ia32_ASID_H_ |
|
typedef int asid_t; |
|
53,4 → 53,3 |
|
/** @} |
*/ |
|
/trunk/kernel/arch/ia32/include/mm/tlb.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __ia32_TLB_H__ |
#define __ia32_TLB_H__ |
#ifndef KERN_ia32_TLB_H_ |
#define KERN_ia32_TLB_H_ |
|
#define tlb_arch_init() |
#define tlb_print() |
42,4 → 42,3 |
|
/** @} |
*/ |
|
/trunk/kernel/arch/ia32/include/mm/as.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __ia32_AS_H__ |
#define __ia32_AS_H__ |
#ifndef KERN_ia32_AS_H_ |
#define KERN_ia32_AS_H_ |
|
#define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH 0 |
|
52,4 → 52,3 |
|
/** @} |
*/ |
|
/trunk/kernel/arch/ia32/include/context.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __ia32_CONTEXT_H__ |
#define __ia32_CONTEXT_H__ |
#ifndef KERN_ia32_CONTEXT_H_ |
#define KERN_ia32_CONTEXT_H_ |
|
#include <arch/types.h> |
|
65,4 → 65,3 |
|
/** @} |
*/ |
|
/trunk/kernel/arch/ia32/include/debug.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __ia32_DEBUG_H__ |
#define __ia32_DEBUG_H__ |
#ifndef KERN_ia32_DEBUG_H_ |
#define KERN_ia32_DEBUG_H_ |
|
#include <arch/asm.h> |
|
43,4 → 43,3 |
|
/** @} |
*/ |
|
/trunk/kernel/arch/ia32/include/barrier.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __ia32_BARRIER_H__ |
#define __ia32_BARRIER_H__ |
#ifndef KERN_ia32_BARRIER_H_ |
#define KERN_ia32_BARRIER_H_ |
|
/* |
* NOTE: |
88,4 → 88,3 |
|
/** @} |
*/ |
|
/trunk/kernel/arch/ia32/include/cpu.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __ia32_CPU_H__ |
#define __ia32_CPU_H__ |
#ifndef KERN_ia32_CPU_H_ |
#define KERN_ia32_CPU_H_ |
|
#include <typedefs.h> |
#include <arch/pm.h> |
/trunk/kernel/arch/ia32/include/drivers/vesa.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __VESA_H__ |
#define __VESA_H__ |
#ifndef KERN_ia32_VESA_H_ |
#define KERN_ia32_VESA_H_ |
|
extern int vesa_present(void); |
extern void vesa_init(void); |
42,4 → 42,3 |
|
/** @} |
*/ |
|
/trunk/kernel/arch/ia32/include/drivers/i8259.h |
32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __I8259_H__ |
#define __I8259_H__ |
#ifndef KERN_ia32_I8259_H_ |
#define KERN_ia32_I8259_H_ |
|
#include <arch/types.h> |
#include <arch/interrupt.h> |
55,4 → 55,3 |
|
/** @} |
*/ |
|
/trunk/kernel/arch/ia32/include/drivers/i8042.h |
36,8 → 36,8 |
* This file implements ia32 specific access to i8042 registers. |
*/ |
|
#ifndef __ia32_I8042_H__ |
#define __ia32_I8042_H__ |
#ifndef KERN_ia32_I8042_H_ |
#define KERN_ia32_I8042_H_ |
|
#include <arch/asm.h> |
#include <arch/types.h> |
69,4 → 69,3 |
|
/** @} |
*/ |
|