Symbol: pmap_free_pte
sys/arch/ia64/ia64/pmap.c
1242
pmap_free_pte(pte, va);
sys/arch/ia64/ia64/pmap.c
297
static void pmap_free_pte(struct ia64_lpte *pte, vaddr_t va);
sys/arch/ia64/ia64/pmap.c
746
pmap_free_pte(pte, va);