diff options
Diffstat (limited to 'kern')
| -rw-r--r-- | kern/printf.c | 4 | ||||
| -rw-r--r-- | kern/printf.h | 6 |
2 files changed, 5 insertions, 5 deletions
diff --git a/kern/printf.c b/kern/printf.c index 7e48b5dd..68ae1037 100644 --- a/kern/printf.c +++ b/kern/printf.c @@ -23,14 +23,14 @@ /* * Size of the static buffer. */ -#define PRINTK_BUFSIZE 1024 +#define PRINTF_BUFSIZE 1024 /* * XXX Must be provided by a console driver. */ extern void console_write_byte(char c); -static char printf_buffer[PRINTK_BUFSIZE]; +static char printf_buffer[PRINTF_BUFSIZE]; static struct spinlock printf_lock; int diff --git a/kern/printf.h b/kern/printf.h index 16a7b584..6643d664 100644 --- a/kern/printf.h +++ b/kern/printf.h @@ -24,8 +24,8 @@ * See the sprintf module for information about the supported formats. */ -#ifndef _KERN_PRINTK_H -#define _KERN_PRINTK_H +#ifndef _KERN_PRINTF_H +#define _KERN_PRINTF_H #ifndef _STDIO_H #error "do not use <kern/printf.h> directly; include <stdio.h> instead" @@ -39,4 +39,4 @@ int printf(const char *format, ...) __format_printf(1, 2); int vprintf(const char *format, va_list ap) __format_printf(1, 0); void printf_setup(void); -#endif /* _KERN_PRINTK_H */ +#endif /* _KERN_PRINTF_H */ |