diff options
Diffstat (limited to 'src/include')
| -rw-r--r-- | src/include/kernel/console.H | 2 | ||||
| -rw-r--r-- | src/include/stdarg.h | 10 | ||||
| -rw-r--r-- | src/include/stdint.h | 8 |
3 files changed, 15 insertions, 5 deletions
diff --git a/src/include/kernel/console.H b/src/include/kernel/console.H index 4c5f7a52a..d54132ffb 100644 --- a/src/include/kernel/console.H +++ b/src/include/kernel/console.H @@ -4,7 +4,7 @@ #include <stdint.h> #include <string.h> -void printk(const char*); +void printk(const char*, ...); class Console { diff --git a/src/include/stdarg.h b/src/include/stdarg.h new file mode 100644 index 000000000..10d7d44fd --- /dev/null +++ b/src/include/stdarg.h @@ -0,0 +1,10 @@ +#ifndef __STDARG_H +#define __STDARG_H + +#define va_list __builtin_va_list +#define va_start(a,b) __builtin_va_start(a,b) +#define va_arg(a,b) __builtin_va_arg(a,b) +#define va_end(a) __builtin_va_end(a) +#define va_copy(a,b) __builtin_va_copy(a,b) + +#endif diff --git a/src/include/stdint.h b/src/include/stdint.h index 350f4c3da..f5a30a9f5 100644 --- a/src/include/stdint.h +++ b/src/include/stdint.h @@ -3,13 +3,13 @@ typedef char int8_t; typedef short int int16_t; -typedef long int int32_t; -typedef long long int int64_t; +typedef int int32_t; +typedef long int int64_t; typedef unsigned char uint8_t; typedef unsigned short int uint16_t; -typedef unsigned long int uint32_t; -typedef unsigned long long int uint64_t; +typedef unsigned int uint32_t; +typedef unsigned long int uint64_t; typedef uint64_t size_t; typedef int64_t ssize_t; |
