kvm_arch_flush_remote_tlbs
int kvm_arch_flush_remote_tlbs(struct kvm *kvm);
if (!kvm_arch_flush_remote_tlbs(kvm)