projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add strtok_r().
[pintos-anon]
/
src
/
lib
/
lib.h
diff --git
a/src/lib/lib.h
b/src/lib/lib.h
index 260c3677f1445a58282bba43c58df07e238ca821..e163d877f6dcc454ba3e02ec741cc336f5903822 100644
(file)
--- a/
src/lib/lib.h
+++ b/
src/lib/lib.h
@@
-19,6
+19,7
@@
char *strchr (const char *, int);
size_t strlcpy (char *, const char *, size_t);
size_t strlen (const char *);
int strcmp (const char *, const char *);
size_t strlcpy (char *, const char *, size_t);
size_t strlen (const char *);
int strcmp (const char *, const char *);
+char *strtok_r (char *, const char *, char **);
void vprintk (const char *, va_list);
void printk (const char *, ...) PRINTF_FORMAT (1, 2);
void vprintk (const char *, va_list);
void printk (const char *, ...) PRINTF_FORMAT (1, 2);