kvm_is_exception_pending
(kvm_is_exception_pending(vcpu) || vcpu->arch.exception.injected);
else if (kvm_is_exception_pending(vcpu))
if (kvm_is_exception_pending(vcpu))
if (kvm_is_exception_pending(vcpu))
kvm_is_exception_pending(vcpu)))
!kvm_is_exception_pending(vcpu));
WARN_ON_ONCE(kvm_is_exception_pending(vcpu));