| /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 |
| /** @} |
| */ |