Symbol: pmap_allocate_asid
sys/arch/arm64/arm64/pmap.c
2410
pmap_allocate_asid(pm);
sys/arch/arm64/arm64/pmap.c
34
void pmap_allocate_asid(pmap_t);