X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Futil.h;h=809ae9c5d9fcf59c7e0f30104c6243568c499c17;hb=d41d4b714d29091dd502dd8705ef489467e11a43;hp=dd86de2651741c27222eb995db6e53448ca49ce5;hpb=e8087a87a3155656596d92ebecfa37841b637ef7;p=openvswitch

diff --git a/lib/util.h b/lib/util.h
index dd86de26..809ae9c5 100644
--- a/lib/util.h
+++ b/lib/util.h
@@ -188,6 +188,8 @@ void ovs_strzcpy(char *dst, const char *src, size_t size);
 
 void ovs_abort(int err_no, const char *format, ...)
     PRINTF_FORMAT(2, 3) NO_RETURN;
+void ovs_abort_valist(int err_no, const char *format, va_list)
+    PRINTF_FORMAT(2, 0) 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)