Add memcmp().

[pintos-anon] / src / lib / lib.h

diff --git a/src/lib/lib.h b/src/lib/lib.h
index 29dc17cdf8cb9abca1af887d13d88bd8300b4d49..2f788bea4de58e068695bc8cc03a9c3c7d390377 100644 (file)
--- a/src/lib/lib.h
+++ b/src/lib/lib.h
@@ -11,6 +11,7 @@ void *memset (void *, int, size_t);
 void *memcpy (void *, const void *, size_t);
 void *memmove (void *, const void *, size_t);
 void *memchr (const void *, int, size_t);
+int memcmp (const void *, const void *, size_t);
 
 char *strchr (const char *, int);
 size_t strlcpy (char *, const char *, size_t);