X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=lib%2Futil.h;h=60ec737e2ad9580c9214a4b94aec303571682ceb;hb=6b175ad62d3f0528d4c4d0f053913f4c15f8f10f;hp=dd86de2651741c27222eb995db6e53448ca49ce5;hpb=781dee0835fbea52f57389893d50b2cf9f60e41f;p=openvswitch

diff --git a/lib/util.h b/lib/util.h
index dd86de26..60ec737e 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)
@@ -217,6 +219,9 @@ char *dir_name(const char *file_name);
 char *base_name(const char *file_name);
 char *abs_file_name(const char *dir, const char *file_name);
 
+char *xreadlink(const char *filename);
+char *follow_symlinks(const char *filename);
+
 void ignore(bool x OVS_UNUSED);
 int log_2_floor(uint32_t);
 int log_2_ceil(uint32_t);