pintos-os.org Git - pintos-anon/blob - src/lib/lib.h

   1 #ifndef HEADER_LIB_H
   2 #define HEADER_LIB_H 1
   3
   4 #include <stdarg.h>
   5 #include <stddef.h>
   6
   7 #define ROUND_UP(X, STEP) (((X) + (STEP) - 1) / (STEP) * (STEP))
   8 #define DIV_ROUND_UP(X, STEP) (((X) + (STEP) - 1) / (STEP))
   9
  10 void *memset (void *, int, size_t);
  11 void *memcpy (void *, const void *, size_t);
  12 void *memmove (void *, const void *, size_t);
  13 void *memchr (const void *, int, size_t);
  14
  15 char *strchr (const char *, int);
  16 size_t strlcpy (char *, const char *, size_t);
  17 size_t strlen (const char *);
  18
  19 void vprintk (const char *, va_list);
  20 void printk (const char *, ...)
  21      __attribute__ ((format (printf, 1, 2)));
  22
  23 static inline int
  24 isdigit (int c)
  25 {
  26   return c >= '0' && c <= '9';
  27 }
  28
  29 #endif /* lib.h */