+ char namebuf[SIGNAL_NAME_BUFSIZE];
+
+ ovs_mutex_lock(&mutex);
+
+#ifndef _WIN32
+ VLOG_WARN("terminating with signal %d (%s)",
+ (int)sig_nr, signal_name(sig_nr, namebuf, sizeof namebuf));
+#else
+ VLOG_WARN("terminating with signal %d", (int)sig_nr);
+#endif