EXTMEM 9 memlayout.h #define KERNLINK (KERNBASE+EXTMEM) // Address where kernel is linked EXTMEM 111 vm.c { (void*)KERNBASE, 0, EXTMEM, PTE_W}, // I/O space