Searched defs:vki_sigNo (Results 1 - 2 of 2) sorted by relevance

/external/valgrind/main/coregrind/m_gdbserver/
H A Dtarget.c158 void gdbserver_signal_encountered (Int vki_sigNo) argument
160 vki_signal_to_report = vki_sigNo;
164 Bool gdbserver_deliver_signal (Int vki_sigNo) argument
166 return vki_sigNo == vki_signal_to_deliver;
H A Dm_gdbserver.c937 Bool VG_(gdbserver_report_signal) (Int vki_sigNo, ThreadId tid) argument
941 vki_sigNo, VG_(signame)(vki_sigNo),
942 target_signal_from_host (vki_sigNo),
943 target_signal_to_name(target_signal_from_host (vki_sigNo)),
955 if (pass_signals[target_signal_from_host(vki_sigNo)]) {
961 gdbserver_signal_encountered (vki_sigNo);
967 if (gdbserver_deliver_signal (vki_sigNo)) {

Completed in 934 milliseconds