Searched refs:free_vpid (Results 1 – 3 of 3) sorted by relevance
338 void free_vpid(int vpid);
3749 void free_vpid(int vpid) in free_vpid() function6964 free_vpid(vmx->vpid); in vmx_free_vcpu()6990 goto free_vpid; in vmx_create_vcpu()7099 free_vpid: in vmx_create_vcpu()7100 free_vpid(vmx->vpid); in vmx_create_vcpu()
293 free_vpid(vmx->nested.vpid02); in free_nested()