Searched refs:guestdbg_enabled (Results 1 – 4 of 4) sorted by relevance
484 #define guestdbg_enabled(vcpu) \ macro490 #define guestdbg_exit_pending(vcpu) (guestdbg_enabled(vcpu) && \
220 if (guestdbg_enabled(vcpu) && per_event(vcpu)) { in handle_prog()
64 if (guestdbg_enabled(vcpu) && guestdbg_sstep_enabled(vcpu)) in ckc_interrupts_enabled()181 if (guestdbg_enabled(vcpu)) { in __reset_intercept_indicators()
1998 if (guestdbg_enabled(vcpu)) { in vcpu_pre_run()2044 if (guestdbg_enabled(vcpu)) in vcpu_post_run()