Symbol: PTE_KERN
sys/arch/riscv/include/pte.h
247
pte |= kernel_p ? PTE_KERN : PTE_USER;
sys/arch/riscv/include/pte.h
286
pte |= PTE_KERN | PTE_HARDWIRED | PTE_WIRED;
sys/arch/riscv/riscv/pmap_machdep.c
432
l1_pte[sidx] = PA_TO_PTE(spa) | PTE_KERN | PTE_HARDWIRED |
sys/arch/riscv/riscv/riscv_machdep.c
612
l2_pte[i] = PA_TO_PTE(pa) | PTE_KERN | PTE_HARDWIRED | PTE_RW |