Searched refs:free_vpid (Results 1 – 2 of 2) sorted by relevance
346 void free_vpid(int vpid);
4101 void free_vpid(int vpid) in free_vpid() function7652 free_vpid(vmx->vpid); in vmx_vcpu_free()7685 goto free_vpid; in vmx_vcpu_create()7756 free_vpid: in vmx_vcpu_create()7757 free_vpid(vmx->vpid); in vmx_vcpu_create()