Searched refs:nested_get_vpid02 (Results 1 – 3 of 3) sorted by relevance
69 static inline u16 nested_get_vpid02(struct kvm_vcpu *vcpu) in nested_get_vpid02() function
1219 vpid_sync_context(nested_get_vpid02(vcpu)); in nested_vmx_transition_tlb_flush()5398 vpid02 = nested_get_vpid02(vcpu); in handle_invvpid()
2922 vpid_sync_context(nested_get_vpid02(vcpu)); in vmx_flush_tlb_current()
