Searched refs:free_vpid (Results 1 – 3 of 3) sorted by relevance
380 void free_vpid(int vpid);
3930 void free_vpid(int vpid) in free_vpid() function7435 free_vpid(vmx->vpid); in vmx_vcpu_free()7464 goto free_vpid; in vmx_vcpu_create()7541 free_vpid: in vmx_vcpu_create()7542 free_vpid(vmx->vpid); in vmx_vcpu_create()
309 free_vpid(vmx->nested.vpid02); in free_nested()
