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