diff options
Diffstat (limited to 'kern/console.c')
| -rw-r--r-- | kern/console.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kern/console.c b/kern/console.c index ebbdb80..0b5c4f8 100644 --- a/kern/console.c +++ b/kern/console.c @@ -173,7 +173,7 @@ console_register(struct console *console) void console_intr(struct console *console, const char *s) { - assert(!cpu_intr_enabled()); + assert(thread_check_intr_context()); if (*s == '\0') { return; |