PTE_X              16 kernel/exec.c        perm = PTE_X;
PTE_X             191 kernel/proc.c                (uint64)trampoline, PTE_R | PTE_X) < 0){
PTE_X              37 kernel/vm.c      kvmmap(kpgtbl, KERNBASE, KERNBASE, (uint64)etext-KERNBASE, PTE_R | PTE_X);
PTE_X              44 kernel/vm.c      kvmmap(kpgtbl, TRAMPOLINE, (uint64)trampoline, PGSIZE, PTE_R | PTE_X);
PTE_X             226 kernel/vm.c      mappages(pagetable, 0, PGSIZE, (uint64)mem, PTE_W|PTE_R|PTE_X|PTE_U);
PTE_X             284 kernel/vm.c        if((pte & PTE_V) && (pte & (PTE_R|PTE_W|PTE_X)) == 0){