Symbol: vmm_free_vpid
sys/arch/amd64/amd64/vmm_machdep.c
138
void vmm_free_vpid(uint16_t);
sys/arch/amd64/amd64/vmm_machdep.c
3013
vmm_free_vpid(vcpu->vc_vpid);
sys/arch/amd64/amd64/vmm_machdep.c
3053
vmm_free_vpid(vcpu->vc_vpid);