Searched refs:guestdbg_enabled (Results 1 – 4 of 4) sorted by relevance
386 #define guestdbg_enabled(vcpu) \ macro392 #define guestdbg_exit_pending(vcpu) (guestdbg_enabled(vcpu) && \
511 if (!guestdbg_enabled(vcpu)) in kvm_s390_handle_per_ifetch_icpt()
123 if (guestdbg_enabled(vcpu) && guestdbg_sstep_enabled(vcpu)) in ckc_interrupts_enabled()380 if (guestdbg_enabled(vcpu)) { in __reset_intercept_indicators()
4476 if (guestdbg_enabled(vcpu)) { in vcpu_pre_run()4636 if (guestdbg_enabled(vcpu)) in vcpu_post_run()