Searched refs:free_vpid (Results 1 – 1 of 1) sorted by relevance
4200 static void free_vpid(struct vcpu_vmx *vmx) in free_vpid() function8386 free_vpid(vmx); in vmx_free_vcpu()8481 free_vpid(vmx); in vmx_create_vcpu()