PTE_X              17 kernel/exec.c        perm = PTE_X;
PTE_X             191 kernel/proc.c                (uint64)trampoline, PTE_R | PTE_X) < 0){
PTE_X              39 kernel/vm.c      kvmmap(kpgtbl, KERNBASE, KERNBASE, (uint64)etext-KERNBASE, PTE_R | PTE_X);
PTE_X              46 kernel/vm.c      kvmmap(kpgtbl, TRAMPOLINE, (uint64)trampoline, PGSIZE, PTE_R | PTE_X);
PTE_X             268 kernel/vm.c        if((pte & PTE_V) && (pte & (PTE_R|PTE_W|PTE_X)) == 0){