Symbol: pmap_lev1map_destroy
sys/arch/alpha/alpha/pmap.c
1088
pmap_lev1map_destroy(pmap);
sys/arch/alpha/alpha/pmap.c
401
void pmap_lev1map_destroy(pmap_t);