Searched refs:nested_get_vpid02 (Results 1 – 1 of 1) sorted by relevance
1041 static u16 nested_get_vpid02(struct kvm_vcpu *vcpu) in nested_get_vpid02() function2367 __vmx_flush_tlb(vcpu, nested_get_vpid02(vcpu), false); in prepare_vmcs02()5010 vpid02 = nested_get_vpid02(vcpu); in handle_invvpid()
