diff options
| -rw-r--r-- | lib/sbi/sbi_console.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lib/sbi/sbi_console.c b/lib/sbi/sbi_console.c index b54f7a2..29eede3 100644 --- a/lib/sbi/sbi_console.c +++ b/lib/sbi/sbi_console.c @@ -387,8 +387,11 @@ int sbi_dprintf(const char *format, ...) struct sbi_scratch *scratch = sbi_scratch_thishart_ptr(); va_start(args, format); - if (scratch->options & SBI_SCRATCH_DEBUG_PRINTS) + if (scratch->options & SBI_SCRATCH_DEBUG_PRINTS) { + spin_lock(&console_out_lock); retval = print(NULL, NULL, format, args); + spin_unlock(&console_out_lock); + } va_end(args); return retval; |