| 44,13 → 44,13 |
|---|
| |
| |
| /** Frame width. */ |
| #define FRAME_WIDTH 12 /* 4KB frames */ |
| #define FRAME_WIDTH 20 /* 4KB frames */ |
| |
| /** Frame size. */ |
| #define FRAME_SIZE (1 << FRAME_WIDTH) |
| |
| /** Page size in 2-level paging which is switched on later in the kernel initialization. */ |
| #define PAGE_SIZE FRAME_SIZE |
| #define PAGE_SIZE (1 << 12) |
| |
| |
| #ifndef __ASM__ |
| 68,9 → 68,6 |
|---|
| /** Size of an entry in PTL0. */ |
| #define PTL0_ENTRY_SIZE 4 |
| |
| /** Number of frames per 1MB section. */ |
| #define FRAMES_PER_SECTION ( ( 1 << 20 ) / FRAME_SIZE ) |
| |
| /** Returns number of frame the address belongs to. */ |
| #define ADDR2PFN( addr ) ( ((uintptr_t)(addr)) >> FRAME_WIDTH ) |
| |