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

diff --git a/lib/util.h b/lib/util.h
index 6bc17404..703b93cf 100644
--- a/lib/util.h
+++ b/lib/util.h
@@ -132,6 +132,7 @@ 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);