Symbol: pte_del
sys/arch/powerpc/powerpc/pmap.c
842
pte_del(void *pte, vaddr_t va)
sys/arch/powerpc64/powerpc64/pmap.c
696
pte_del(struct pte *pte, uint64_t ava)