X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Ffatal-signal.h;h=a84d5fd712d6faabfba3096eb32d3055b3e63c65;hb=1504c76330dbe5501fa278bb0b163a8e9578f390;hp=c96db86ddfec06dd98c0c16d43920d2e2b76791c;hpb=4d678233e981fa319a338f6b0949e9dc625941a4;p=openvswitch

diff --git a/lib/fatal-signal.h b/lib/fatal-signal.h
index c96db86d..a84d5fd7 100644
--- a/lib/fatal-signal.h
+++ b/lib/fatal-signal.h
@@ -21,9 +21,9 @@
 
 /* Basic interface. */
 void fatal_signal_add_hook(void (*)(void *aux), void *aux, bool run_at_exit);
-void fatal_signal_block(void);
-void fatal_signal_unblock(void);
 void fatal_signal_fork(void);
+void fatal_signal_run(void);
+void fatal_signal_wait(void);
 
 /* Convenience functions for unlinking files upon termination.
  *