X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=lib%2Futil.h;h=9e7b88f06825866358adca046f55108a6163b40a;hb=20bed8be2508ca7275b1167077f1aedfbcaa13fd;hp=1290d33eeb58e16688aa0105b96939fa0d6cc345;hpb=ec6fde61c85ff6a57b05d422a9d8b5ef679ad928;p=openvswitch

diff --git a/lib/util.h b/lib/util.h
index 1290d33e..9e7b88f0 100644
--- a/lib/util.h
+++ b/lib/util.h
@@ -121,6 +121,12 @@ bool str_to_uint(const char *, int base, unsigned int *);
 bool str_to_ulong(const char *, int base, unsigned long *);
 bool str_to_ullong(const char *, int base, unsigned long long *);
 
+bool str_to_double(const char *, double *);
+
+int hexit_value(int c);
+
+char *dir_name(const char *file_name);
+
 #ifdef  __cplusplus
 }
 #endif