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 int memcmp (const void *, const void *, size_t);
  15
  16 char *strchr (const char *, int);
  17 size_t strlcpy (char *, const char *, size_t);
  18 size_t strlen (const char *);
  19
  20 void vprintk (const char *, va_list);
  21 void printk (const char *, ...)
  22      __attribute__ ((format (printf, 1, 2)));
  23
  24 static inline int
  25 isdigit (int c)
  26 {
  27   return c >= '0' && c <= '9';
  28 }
  29
  30 #endif /* lib.h */