Use 9600 bps for Pintos serial, to match the speed used by the loader.
[pintos-anon] / src / lib / ctype.h
index d0baf4fef9673526ba8a5b79be73af8f58b9d099..9096aca4dbc7f0cded660d624dd364b831cdbfc5 100644 (file)
@@ -13,12 +13,16 @@ static inline int isspace (int c) {
   return (c == ' ' || c == '\f' || c == '\n'
           || c == '\r' || c == '\t' || c == '\v');
 }
-static inline int isgraph (int c) { return c >= 33 && c < 127; }
+static inline int isblank (int c) { return c == ' ' || c == '\t'; }
+static inline int isgraph (int c) { return c > 32 && c < 127; }
 static inline int isprint (int c) { return c >= 32 && c < 127; }
-static inline int iscntrl (int c) { return c >= 0 && c < 32; }
+static inline int iscntrl (int c) { return (c >= 0 && c < 32) || c == 127; }
 static inline int isascii (int c) { return c >= 0 && c < 128; }
 static inline int ispunct (int c) {
   return isprint (c) && !isalnum (c) && !isspace (c);
 }
 
+static inline int tolower (int c) { return isupper (c) ? c - 'A' + 'a' : c; }
+static inline int toupper (int c) { return islower (c) ? c - 'a' + 'A' : c; }
+
 #endif /* lib/ctype.h */