diff options
Diffstat (limited to 'src/console/printk.c')
| -rw-r--r-- | src/console/printk.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/console/printk.c b/src/console/printk.c index da330c932b..01a52afc4c 100644 --- a/src/console/printk.c +++ b/src/console/printk.c @@ -25,7 +25,7 @@ int default_console_loglevel = DEFAULT_CONSOLE_LOGLEVEL; void display(char*); extern int vtxprintf(void (*)(unsigned char), const char *, va_list); -spinlock_t console_lock = SPIN_LOCK_UNLOCKED; +static spinlock_t console_lock = SPIN_LOCK_UNLOCKED; int do_printk(int msg_level, const char *fmt, ...) { |