Searched refs:vki_sigNo (Results 1 – 3 of 3) sorted by relevance
897 Bool VG_(gdbserver_report_signal) (Int vki_sigNo, ThreadId tid) in VG_()901 vki_sigNo, VG_(signame)(vki_sigNo), in VG_()902 target_signal_from_host (vki_sigNo), in VG_()903 target_signal_to_name(target_signal_from_host (vki_sigNo)), in VG_()915 if (pass_signals[target_signal_from_host(vki_sigNo)]) { in VG_()921 gdbserver_signal_encountered (vki_sigNo); in VG_()927 if (gdbserver_deliver_signal (vki_sigNo)) { in VG_()
157 void gdbserver_signal_encountered (Int vki_sigNo) in gdbserver_signal_encountered() argument159 vki_signal_to_report = vki_sigNo; in gdbserver_signal_encountered()163 Bool gdbserver_deliver_signal (Int vki_sigNo) in gdbserver_deliver_signal() argument165 return vki_sigNo == vki_signal_to_deliver; in gdbserver_deliver_signal()
205 extern void gdbserver_signal_encountered (Int vki_sigNo);209 extern Bool gdbserver_deliver_signal (Int vki_sigNo);