--- Gnu-Mach/linux/dev/init/main.c	2020/09/02 04:52:44	1.1.1.3
+++ Gnu-Mach/linux/dev/init/main.c	2020/09/02 04:54:48	1.1.1.4
@@ -104,7 +104,7 @@ linux_init (void)
   /*
    * Initialize memory size.
    */
-  high_memory = phys_last_addr;
+  high_memory = vm_page_seg_end(VM_PAGE_SEL_DIRECTMAP);
   init_IRQ ();
   linux_sched_init ();