Symbol: pmap_free_asid
sys/arch/arm64/arm64/pmap.c
1005
pmap_free_asid(pm);
sys/arch/arm64/arm64/pmap.c
35
void pmap_free_asid(pmap_t pm);