Searched refs:__vmx_flush_tlb (Results 1 – 1 of 1) sorted by relevance
3754 static inline void __vmx_flush_tlb(struct kvm_vcpu *vcpu, int vpid) in __vmx_flush_tlb() function3766 __vmx_flush_tlb(vcpu, to_vmx(vcpu)->vpid); in vmx_flush_tlb()7552 __vmx_flush_tlb(vcpu, vmx->nested.vpid02); in handle_invvpid()9936 __vmx_flush_tlb(vcpu, to_vmx(vcpu)->nested.vpid02); in prepare_vmcs02()