Searched defs:vki_sigNo (Results 1 – 1 of 1) sorted by relevance
157 void gdbserver_signal_encountered (Int vki_sigNo) in gdbserver_signal_encountered()163 Bool gdbserver_deliver_signal (Int vki_sigNo) in gdbserver_deliver_signal()