projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Destroy PT pages in addrspace_destroy().
[pintos-anon]
/
src
/
lib
/
lib.h
diff --git
a/src/lib/lib.h
b/src/lib/lib.h
index 260c3677f1445a58282bba43c58df07e238ca821..71291395ce2ccdcf9ea4b2c25421dc98a192c285 100644
(file)
--- a/
src/lib/lib.h
+++ b/
src/lib/lib.h
@@
-2,6
+2,7
@@
#define HEADER_LIB_H 1
#include <stdarg.h>
#define HEADER_LIB_H 1
#include <stdarg.h>
+#include <stdbool.h>
#include <stddef.h>
#include "debug.h"
#include <stddef.h>
#include "debug.h"
@@
-19,13
+20,16
@@
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);
+int atoi (const char *);
+
+void vprintk (const char *, va_list) PRINTF_FORMAT (1, 0);
void printk (const char *, ...) PRINTF_FORMAT (1, 2);
void printk (const char *, ...) PRINTF_FORMAT (1, 2);
-int vsnprintf (char *, size_t, const char *, va_list);
+int vsnprintf (char *, size_t, const char *, va_list)
PRINTF_FORMAT (3, 0)
;
int snprintf (char *, size_t, const char *, ...) PRINTF_FORMAT (3, 4);
int snprintf (char *, size_t, const char *, ...) PRINTF_FORMAT (3, 4);
-void hex_dump (const void *, size_t size);
+void hex_dump (const void *, size_t size
, bool ascii
);
static inline int isdigit (int c) { return c >= '0' && c <= '9'; }
static inline int isprint (int c) { return c >= 32 && c < 127; }
static inline int isdigit (int c) { return c >= '0' && c <= '9'; }
static inline int isprint (int c) { return c >= 32 && c < 127; }