Searched refs:guestdbg_enabled (Results 1 – 5 of 5) sorted by relevance
710 #define guestdbg_enabled(vcpu) \ macro716 #define guestdbg_exit_pending(vcpu) (guestdbg_enabled(vcpu) && \
233 if (!guestdbg_enabled(vcpu) || !per_event(vcpu)) in should_handle_per_event()
515 if (!guestdbg_enabled(vcpu)) in kvm_s390_handle_per_ifetch_icpt()
177 if (guestdbg_enabled(vcpu) && guestdbg_sstep_enabled(vcpu)) in ckc_interrupts_enabled()434 if (guestdbg_enabled(vcpu)) { in __reset_intercept_indicators()
4700 if (guestdbg_enabled(vcpu)) { in vcpu_pre_run()4760 if (guestdbg_enabled(vcpu)) in vcpu_post_run()