|
@@ -22,17 +22,20 @@
|
|
|
unsigned long *empty_zero_page = NULL;
|
|
|
/* allocated in paging_init and unchanged thereafter */
|
|
|
unsigned long *empty_bad_page = NULL;
|
|
|
+
|
|
|
+/*
|
|
|
+ * Initialized during boot, and readonly for initializing page tables
|
|
|
+ * afterwards
|
|
|
+ */
|
|
|
pgd_t swapper_pg_dir[PTRS_PER_PGD];
|
|
|
+
|
|
|
+/* Initialized at boot time, and readonly after that */
|
|
|
unsigned long long highmem;
|
|
|
int kmalloc_ok = 0;
|
|
|
|
|
|
+/* Used during early boot */
|
|
|
static unsigned long brk_end;
|
|
|
|
|
|
-void unmap_physmem(void)
|
|
|
-{
|
|
|
- os_unmap_memory((void *) brk_end, uml_reserved - brk_end);
|
|
|
-}
|
|
|
-
|
|
|
static void map_cb(void *unused)
|
|
|
{
|
|
|
map_memory(brk_end, __pa(brk_end), uml_reserved - brk_end, 1, 1, 0);
|