Searched refs:guestdbg_sstep_enabled (Results 1 – 3 of 3) sorted by relevance
154 if (guestdbg_sstep_enabled(vcpu)) { in kvm_s390_patch_guest_per_regs()425 if (guestdbg_sstep_enabled(vcpu) && per_bp_event(perc)) { in debug_exit_required()
177 if (guestdbg_enabled(vcpu) && guestdbg_sstep_enabled(vcpu)) in ckc_interrupts_enabled()
712 #define guestdbg_sstep_enabled(vcpu) \ macro