projects / linux.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1a8211c) | patch
KVM: x86: fix bugon.cocci warnings
authorkbuild test robot <lkp@intel.com>
Sun, 29 Sep 2019 16:43:28 +0000 (18:43 +0200)
committerPaolo Bonzini <pbonzini@redhat.com>
Tue, 22 Oct 2019 11:31:21 +0000 (13:31 +0200)
commitb4fdcf6056d9057fe762bd6d8060e3ab9949efea
tree0856acfe0f38206a2a3977838aba7b02e24d56a4tree | snapshot
parent1a8211c7d8717b19c1e9fa41d19fe6a55409765ecommit | diff
KVM: x86: fix bugon.cocci warnings

Use BUG_ON instead of a if condition followed by BUG.

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

Fixes: 4b526de50e39 ("KVM: x86: Check kvm_rebooting in kvm_spurious_fault()")
CC: Sean Christopherson <sean.j.christopherson@intel.com>
Signed-off-by: kbuild test robot <lkp@intel.com>
Signed-off-by: Julia Lawall <julia.lawall@lip6.fr>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
arch/x86/kvm/x86.c diff | blob | history
ep93xx device tree rework repo: git://git.maquefel.me/linux.git