| /trunk/kernel/arch/amd64/include/mm/frame.h |
|---|
| 32,8 → 32,8 |
| /** @file |
| */ |
| #ifndef __amd64_FRAME_H__ |
| #define __amd64_FRAME_H__ |
| #ifndef KERN_amd64_FRAME_H_ |
| #define KERN_amd64_FRAME_H_ |
| #ifndef __ASM__ |
| #include <arch/types.h> |
| 42,7 → 42,6 |
| #define FRAME_WIDTH 12 /* 4K */ |
| #define FRAME_SIZE (1<<FRAME_WIDTH) |
| #ifndef __ASM__ |
| extern uintptr_t last_frame; |
| extern void frame_arch_init(void); |
| 52,4 → 51,3 |
| /** @} |
| */ |
| /trunk/kernel/arch/amd64/include/mm/page.h |
|---|
| 44,8 → 44,8 |
| * ATTENTION - PA2KA(KA2PA(x)) != x if 'x' is in kernel |
| */ |
| #ifndef __amd64_PAGE_H__ |
| #define __amd64_PAGE_H__ |
| #ifndef KERN_amd64_PAGE_H_ |
| #define KERN_amd64_PAGE_H_ |
| #include <arch/mm/frame.h> |
| /trunk/kernel/arch/amd64/include/mm/ptl.h |
|---|
| 32,10 → 32,9 |
| /** @file |
| */ |
| #ifndef KERN_amd64_PTL_H_ |
| #define KERN_amd64_PTL_H_ |
| #ifndef __amd64_PTL_H_ |
| #define __amd64_PTL_H_ |
| #define PTL_NO_EXEC (1<<63) |
| #define PTL_ACCESSED (1<<5) |
| #define PTL_CACHE_DISABLE (1<<4) |
| 50,4 → 49,3 |
| /** @} |
| */ |
| /trunk/kernel/arch/amd64/include/mm/tlb.h |
|---|
| 32,8 → 32,8 |
| /** @file |
| */ |
| #ifndef __amd64_TLB_H__ |
| #define __amd64_TLB_H__ |
| #ifndef KERN_amd64_TLB_H_ |
| #define KERN_amd64_TLB_H_ |
| #define tlb_arch_init() |
| #define tlb_print() |
| 42,4 → 42,3 |
| /** @} |
| */ |
| /trunk/kernel/arch/amd64/include/mm/as.h |
|---|
| 32,8 → 32,8 |
| /** @file |
| */ |
| #ifndef __amd64_AS_H__ |
| #define __amd64_AS_H__ |
| #ifndef KERN_amd64_AS_H_ |
| #define KERN_amd64_AS_H_ |
| #define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH 0 |
| 52,4 → 52,3 |
| /** @} |
| */ |