Searched refs:guestdbg_enabled (Results 1 – 4 of 4) sorted by relevance
476 #define guestdbg_enabled(vcpu) \ macro482 #define guestdbg_exit_pending(vcpu) (guestdbg_enabled(vcpu) && \
220 if (guestdbg_enabled(vcpu) && per_event(vcpu)) { in handle_prog()
67 if (guestdbg_enabled(vcpu) && guestdbg_sstep_enabled(vcpu)) in ckc_interrupts_enabled()188 if (guestdbg_enabled(vcpu)) { in __reset_intercept_indicators()
1897 if (guestdbg_enabled(vcpu)) { in vcpu_pre_run()1943 if (guestdbg_enabled(vcpu)) in vcpu_post_run()