|
@@ -56,7 +56,9 @@ extern void paging_init(void);
|
|
#define PGDIR_SHIFT 22
|
|
#define PGDIR_SHIFT 22
|
|
#define PTRS_PER_PGD 1024
|
|
#define PTRS_PER_PGD 1024
|
|
#define PTRS_PER_PUD 1 /* we don't really have any PUD physically */
|
|
#define PTRS_PER_PUD 1 /* we don't really have any PUD physically */
|
|
|
|
+#define __PAGETABLE_PUD_FOLDED
|
|
#define PTRS_PER_PMD 1 /* we don't really have any PMD physically */
|
|
#define PTRS_PER_PMD 1 /* we don't really have any PMD physically */
|
|
|
|
+#define __PAGETABLE_PMD_FOLDED
|
|
#define PTRS_PER_PTE 1024
|
|
#define PTRS_PER_PTE 1024
|
|
|
|
|
|
#define PGD_SIZE PAGE_SIZE
|
|
#define PGD_SIZE PAGE_SIZE
|