Lines Matching refs:gdbserver_report_signal
198 scheduler/delivering the signal, a call to VG_(gdbserver_report_signal)
730 /* If VG_(gdbserver_report_signal) tells to report the signal,
733 return !VG_(gdbserver_report_signal) (info, tid)
2029 So ignore the return value of VG_(gdbserver_report_signal). */
2030 (void) VG_(gdbserver_report_signal) (&info, tid);
2070 if (VG_(gdbserver_report_signal) (&info, tid)) {
2095 if (VG_(gdbserver_report_signal) (&info, tid)) {
2138 if (VG_(gdbserver_report_signal) (&info, tid)) {
2163 if (VG_(gdbserver_report_signal) (VKI_SIGFPE, tid)) {
2732 if (VG_(gdbserver_report_signal) (info, tid)
