X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=lib%2Futil.h;h=9c2352ffd3e2f2bd9b5b7b644dd2e0b527336779;hb=d4da3acc2a788d1c1b78c0bea6399660c7851f4a;hp=e5339875494842cc1a6638c6cc6b5f6ccb5b8196;hpb=4e6ca956f56b7a7f7284a4cd8788873ba57b229c;p=openvswitch

diff --git a/lib/util.h b/lib/util.h
index e5339875..9c2352ff 100644
--- a/lib/util.h
+++ b/lib/util.h
@@ -155,6 +155,8 @@ void ovs_abort(int err_no, const char *format, ...)
     PRINTF_FORMAT(2, 3) NO_RETURN;
 void ovs_fatal(int err_no, const char *format, ...)
     PRINTF_FORMAT(2, 3) NO_RETURN;
+void ovs_fatal_valist(int err_no, const char *format, va_list)
+    PRINTF_FORMAT(2, 0) NO_RETURN;
 void ovs_error(int err_no, const char *format, ...) PRINTF_FORMAT(2, 3);
 void ovs_error_valist(int err_no, const char *format, va_list)
     PRINTF_FORMAT(2, 0);