vmx_flush_tlb    1549 arch/x86/kvm/vmx.c 	vmx_flush_tlb(vcpu);
vmx_flush_tlb    3232 arch/x86/kvm/vmx.c 	.tlb_flush = vmx_flush_tlb,