Searched refs:vki_signal_to_report (Results 1 – 1 of 1) sorted by relevance
156 static vki_siginfo_t vki_signal_to_report; variable161 vki_signal_to_report = *info; in gdbserver_signal_encountered()167 *info = vki_signal_to_report; in gdbserver_pending_signal_to_report()174 info->si_signo, vki_signal_to_report.si_signo, in gdbserver_deliver_signal()255 VG_(memset) (&vki_signal_to_report, 0, sizeof(vki_signal_to_report)); in valgrind_resume()305 if (vki_signal_to_report.si_signo == 0) in valgrind_wait()308 sig = target_signal_from_host(vki_signal_to_report.si_signo); in valgrind_wait()