guestdbg_sstep_enabled
if (guestdbg_sstep_enabled(vcpu)) {
if (guestdbg_sstep_enabled(vcpu) && per_bp_event(perc)) {
if (guestdbg_sstep_enabled(vcpu) &&
if (guestdbg_sstep_enabled(vcpu) && vcpu->arch.local_int.pending_irqs)
if (guestdbg_enabled(vcpu) && guestdbg_sstep_enabled(vcpu))
if (delivered && guestdbg_sstep_enabled(vcpu)) {