Searched refs:__vmx_flush_tlb (Results 1 – 2 of 2) sorted by relevance
| /arch/x86/kvm/vmx/ |
| D | vmx.h | 490 static inline void __vmx_flush_tlb(struct kvm_vcpu *vcpu, int vpid, in __vmx_flush_tlb() function
505 __vmx_flush_tlb(vcpu, to_vmx(vcpu)->vpid, invalidate_gpa); in vmx_flush_tlb()
|
| D | nested.c | 2367 __vmx_flush_tlb(vcpu, nested_get_vpid02(vcpu), false); in prepare_vmcs02()
5031 __vmx_flush_tlb(vcpu, vpid02, false); in handle_invvpid()
5038 __vmx_flush_tlb(vcpu, vpid02, false); in handle_invvpid()
5041 __vmx_flush_tlb(vcpu, vpid02, false); in handle_invvpid()
|