X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Futil.h;h=703b93cf4c6e528ec0d5c48ae5034b03f0cd710f;hb=8321fb9c570bd25bb8925e7b5116ab90662113b5;hp=5147ffc5555c2e6683210af9c3b3e89b0ab0ff0a;hpb=adf7cfd851c3d9d6f1ad74653cbd2fecce8c3ba9;p=openvswitch

diff --git a/lib/util.h b/lib/util.h
index 5147ffc5..703b93cf 100644
--- a/lib/util.h
+++ b/lib/util.h
@@ -132,9 +132,11 @@ bool str_to_ullong(const char *, int base, unsigned long long *);
 bool str_to_double(const char *, double *);
 
 int hexit_value(int c);
+unsigned int hexits_value(const char *s, size_t n, bool *ok);
 
 char *get_cwd(void);
 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);
 
 void ignore(bool x OVS_UNUSED);