Searched refs:vki_signal_to_deliver (Results 1 – 1 of 1) sorted by relevance
157 static vki_siginfo_t vki_signal_to_deliver; variable162 vki_signal_to_deliver = *info; in gdbserver_signal_encountered()172 if (info->si_signo != vki_signal_to_deliver.si_signo) in gdbserver_deliver_signal()175 vki_signal_to_deliver.si_signo); in gdbserver_deliver_signal()176 *info = vki_signal_to_deliver; in gdbserver_deliver_signal()177 return vki_signal_to_deliver.si_signo != 0; in gdbserver_deliver_signal()252 vki_signal_to_deliver.si_signo = resume_info->sig; in valgrind_resume()