Searched refs:vmm_free_vpid (Results 1 – 1 of 1) sorted by relevance
128 void vmm_free_vpid(uint16_t);2931 vmm_free_vpid(vcpu->vc_vpid); in vcpu_deinit_vmx()2966 vmm_free_vpid(vcpu->vc_vpid); in vcpu_deinit_svm()6379 vmm_free_vpid(uint16_t vpid) in vmm_free_vpid() function