56,7 → 56,7 |
#endif |
|
/** Number of entries in PTL0 */ |
#define PTL0_ENTRIES_ARCH (2<<12) /* 4096 */ |
#define PTL0_ENTRIES_ARCH (1<<12) /* 4096 */ |
|
/** Frames per 1MB section */ |
#define FRAMES_PER_SECTION ( ( 1 << 20 ) / FRAME_SIZE ) |
76,10 → 76,10 |
/** Page table level 0 entry - "section" format (one-level paging, 1MB sized |
* pages). Used only for booting the kernel. */ |
typedef struct { |
unsigned descriptor_type : 2; // PTE_DESCRIPTOR_SECTION |
unsigned descriptor_type : 2; // PTE_DESCRIPTOR_SECTION (0b10) |
unsigned bufferable : 1; |
unsigned cacheable : 1; |
unsigned machine_depend : 1; |
unsigned impl_specific : 1; |
unsigned domain : 4; |
unsigned should_be_zero_1 : 1; |
unsigned access_permission : 2; |