Searched refs:vki_signal_to_report (Results 1 – 1 of 1) sorted by relevance
155 static int vki_signal_to_report; variable159 vki_signal_to_report = vki_sigNo; in gdbserver_signal_encountered()262 if (vki_signal_to_report == 0) in valgrind_wait()265 sig = target_signal_from_host(vki_signal_to_report); in valgrind_wait()266 vki_signal_to_report = 0; in valgrind_wait()