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) {