raise             226 plugin/ipc/event/eventconnection.cpp   raise(_fdsi.ssi_signo);
raise             363 signalwrappers.cpp     raise(bannedSignalNumber());
raise             377 signalwrappers.cpp     raise(bannedSignalNumber());
raise             792 threadlist.cpp       raise(i);
raise             253 threadsync.cpp     JASSERT(raise(DmtcpWorker::determineCkptSignal()) == 0)