Symbol: pmap_pcid_alloc_checked
sys/amd64/amd64/pmap.c
10150
cached = pmap_pcid_alloc_checked(pmap, pcidp);
sys/amd64/amd64/pmap.c
10180
cached = pmap_pcid_alloc_checked(pmap, pcidp);