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 ) |
|