Searched refs:sigNum (Results 1 – 2 of 2) sorted by relevance
198 void CLG_(pre_signal)(ThreadId tid, Int sigNum, Bool alt_stack) in CLG_()203 tid, sigNum, alt_stack ? "yes":"no"); in CLG_()212 es = push_exec_state(sigNum); in CLG_()219 CLG_(current_state).sig = sigNum; in CLG_()238 void CLG_(post_signal)(ThreadId tid, Int sigNum) in CLG_()244 tid, sigNum); in CLG_()248 CLG_ASSERT(sigNum == CLG_(current_state).sig); in CLG_()324 static exec_state* new_exec_state(Int sigNum) in new_exec_state() argument335 es->sig = sigNum; in new_exec_state()388 static exec_state* push_exec_state(int sigNum) in push_exec_state() argument[all …]
807 void CLG_(pre_signal)(ThreadId tid, Int sigNum, Bool alt_stack);808 void CLG_(post_signal)(ThreadId tid, Int sigNum);