etext 14 kernel/vm.c extern char etext[]; // kernel.ld sets this to end of kernel code. etext 37 kernel/vm.c kvmmap(kpgtbl, KERNBASE, KERNBASE, (uint64)etext-KERNBASE, PTE_R | PTE_X); etext 40 kernel/vm.c kvmmap(kpgtbl, (uint64)etext, (uint64)etext, PHYSTOP-(uint64)etext, PTE_R | PTE_W);