Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67;
Date:   Sun, 10 Nov 2019 09:59:57 +0800
From:   kbuild test robot <lkp@intel.com>
To:     Wanpeng Li <kernellwp@gmail.com>
Cc:     kbuild-all@lists.01.org, linux-kernel@vger.kernel.org,
        kvm@vger.kernel.org, Paolo Bonzini <pbonzini@redhat.com>,
        Radim =?utf-8?B?S3LEjW3DocWZ?= <rkrcmar@redhat.com>,
        Sean Christopherson <sean.j.christopherson@intel.com>,
        Vitaly Kuznetsov <vkuznets@redhat.com>,
        Wanpeng Li <wanpengli@tencent.com>,
        Jim Mattson <jmattson@google.com>,
        Joerg Roedel <joro@8bytes.org>
Subject: [PATCH] KVM: X86: fix semicolon.cocci warnings
Message-ID: <20191110015957.i7kejzh4gy2hfrtp@4978f4969bb8>
References: <1573283135-5502-1-git-send-email-wanpengli@tencent.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <1573283135-5502-1-git-send-email-wanpengli@tencent.com>
User-Agent: NeoMutt/20170113 (1.7.2)
Sender: linux-kernel-owner@vger.kernel.org
Precedence: bulk

From: kbuild test robot <lkp@intel.com>

arch/x86/kvm/vmx/vmx.c:6509:3-4: Unneeded semicolon
arch/x86/kvm/vmx/vmx.c:6510:2-3: Unneeded semicolon


 Remove unneeded semicolon.

Generated by: scripts/coccinelle/misc/semicolon.cocci

Fixes: fbb78ac80ca1 ("KVM: X86: Single target IPI fastpath")
CC: Wanpeng Li <wanpengli@tencent.com>
Signed-off-by: kbuild test robot <lkp@intel.com>
---

url:    https://github.com/0day-ci/linux/commits/Wanpeng-Li/KVM-X86-Single-target-IPI-fastpath/20191110-081303
base:   https://git.kernel.org/pub/scm/virt/kvm/kvm.git linux-next

 vmx.c |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

--- a/arch/x86/kvm/vmx/vmx.c
+++ b/arch/x86/kvm/vmx/vmx.c
@@ -6506,8 +6506,8 @@ static int handle_ipi_fastpath(struct kv
 
 			if (ret == 0)
 				ret = kvm_skip_emulated_instruction(vcpu);
-		};
-	};
+		}
+	}
 
 	return ret;
 }