199 void CLG_(pre_signal)(ThreadId tid, Int sigNum, Bool alt_stack)  in CLG_()
204 	     tid, sigNum, alt_stack ? "yes":"no");  in CLG_()
213     es = push_exec_state(sigNum);  in CLG_()
220     CLG_(current_state).sig = sigNum;  in CLG_()
239 void CLG_(post_signal)(ThreadId tid, Int sigNum)  in CLG_()
245 	     tid, sigNum);  in CLG_()
249     CLG_ASSERT(sigNum == CLG_(current_state).sig);  in CLG_()
325 static exec_state* new_exec_state(Int sigNum)  in new_exec_state()  argument
336     es->sig        = sigNum;  in new_exec_state()
389 static exec_state* push_exec_state(int sigNum)  in push_exec_state()  argument
397   CLG_ASSERT((sigNum > 0) && (sigNum <= _VKI_NSIG));  in push_exec_state()
401     es = new_exec_state(sigNum);  in push_exec_state()
405     es->sig = sigNum;  in push_exec_state()