Searched refs:free_vpid (Results 1 – 1 of 1) sorted by relevance
4333 static void free_vpid(int vpid) in free_vpid() function6868 free_vpid(vmx->nested.vpid02); in free_nested()8746 free_vpid(vmx->vpid); in vmx_free_vcpu()8837 free_vpid(vmx->nested.vpid02); in vmx_create_vcpu()8844 free_vpid(vmx->vpid); in vmx_create_vcpu()