PENDING_EXCEPTION
WARN_ON(vcpu_get_flag(vcpu, PENDING_EXCEPTION));
vcpu_set_flag((v), PENDING_EXCEPTION); \
if (unlikely(vcpu_get_flag(vcpu, PENDING_EXCEPTION) ||
if (!vcpu_get_flag(vcpu, PENDING_EXCEPTION))
if (vcpu_get_flag(vcpu, PENDING_EXCEPTION)) {
vcpu_clear_flag(vcpu, PENDING_EXCEPTION);
if (!vcpu_get_flag(vcpu, PENDING_EXCEPTION))
vcpu_clear_flag(vcpu, PENDING_EXCEPTION);