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