| /kernel/trunk/arch/ia32/include/mm/frame.h |
|---|
| 29,13 → 29,20 |
| #ifndef __ia32_FRAME_H__ |
| #define __ia32_FRAME_H__ |
| #include <arch/types.h> |
| #define FRAME_WIDTH 12 /* 4K */ |
| #define FRAME_SIZE (1<<FRAME_WIDTH) |
| #ifdef KERNEL |
| #ifndef __ASM__ |
| #include <arch/types.h> |
| extern __address last_frame; |
| extern void frame_arch_init(void); |
| #endif /* __ASM__ */ |
| #endif /* KERNEL */ |
| #endif |
| /kernel/trunk/arch/ia32/include/mm/page.h |
|---|
| 29,9 → 29,13 |
| #ifndef __ia32_PAGE_H__ |
| #define __ia32_PAGE_H__ |
| #include <arch/mm/frame.h> |
| #define PAGE_WIDTH FRAME_WIDTH |
| #define PAGE_SIZE FRAME_SIZE |
| #ifdef KERNEL |
| #ifndef __ASM__ |
| # define KA2PA(x) (((__address) (x)) - 0x80000000) |
| # define PA2KA(x) (((__address) (x)) + 0x80000000) |
| 135,4 → 139,6 |
| #endif /* __ASM__ */ |
| #endif /* KERNEL */ |
| #endif |