guestdbg_exit_pending 3861 arch/s390/kvm/kvm-s390.c 	} while (!signal_pending(current) && !guestdbg_exit_pending(vcpu) && !rc);
guestdbg_exit_pending 4010 arch/s390/kvm/kvm-s390.c 	if (guestdbg_exit_pending(vcpu)) {
guestdbg_exit_pending 4038 arch/s390/kvm/kvm-s390.c 	if (guestdbg_exit_pending(vcpu) && !rc)  {