sys/arch/powerpc/powerpc/pmap.c

1020

pte_del(ptp64, pted->pted_va);

sys/arch/powerpc/powerpc/pmap.c

1031

pte_del(ptp32, pted->pted_va);

sys/arch/powerpc/powerpc/pmap.c

174

void pte_del(void *, vaddr_t);

sys/arch/powerpc/powerpc/pmap.c

2021

pte_del(ptp64, va);

sys/arch/powerpc/powerpc/pmap.c

2062

pte_del(ptp32, va);

sys/arch/powerpc/powerpc/pmap.c

2431

pte_del(ptp64, va);

sys/arch/powerpc/powerpc/pmap.c

2531

pte_del(ptp32, va);

sys/arch/powerpc/powerpc/pmap.c

859

pte_del(pte, pted->pted_va);

sys/arch/powerpc64/powerpc64/pmap.c

1223

pte_del(pte, pmap_pted2ava(pted));

sys/arch/powerpc64/powerpc64/pmap.c

1362

pte_del(pte, pmap_ava(vsid, va));

sys/arch/powerpc64/powerpc64/pmap.c

709

pte_del(pte, pmap_pted2ava(pted));

sys/arch/powerpc64/powerpc64/pmap.c

855

pte_del(pte, vpn << PAGE_SHIFT);