guestdbg_exit_pending
if (rc || guestdbg_exit_pending(vcpu))
if (rc || guestdbg_exit_pending(vcpu))
if (rc || guestdbg_exit_pending(vcpu)) {
if (guestdbg_exit_pending(vcpu)) {
if (guestdbg_exit_pending(vcpu) && !rc) {