Symbol: pmap_ptpage_free
sys/arch/alpha/alpha/pmap.c
3169
pmap_ptpage_free(pmap, l2pte);
sys/arch/alpha/alpha/pmap.c
3216
pmap_ptpage_free(pmap, l1pte);
sys/arch/alpha/alpha/pmap.c
403
void pmap_ptpage_free(pmap_t, pt_entry_t *);