Symbol: PTE_PL_KERN
sys/arch/ia64/ia64/machdep.c
278
PTE_PL_KERN | PTE_AR_RW;
sys/arch/ia64/ia64/machdep.c
304
PTE_PL_KERN | PTE_AR_RWX;
sys/arch/ia64/ia64/machdep.c
333
PTE_PL_KERN | PTE_AR_X_RX;
sys/arch/ia64/ia64/pmap.c
1175
? PTE_PL_KERN : PTE_PL_USER;
sys/arch/ia64/stand/efi/libefi/exec.c
191
PTE_PL_KERN | PTE_AR_RWX;
sys/arch/ia64/stand/ia64/ski/exec.c
179
pte.pte_pl = PTE_PL_KERN;