diff options
Diffstat (limited to 'kernel/kubsan.c')
-rw-r--r-- | kernel/kubsan.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/kubsan.c b/kernel/kubsan.c index 87b2932..fc2900d 100644 --- a/kernel/kubsan.c +++ b/kernel/kubsan.c @@ -1,7 +1,7 @@ +#include <interrupts.h> #include <kubsan.h> #include <log.h> #include <stdio.h> -#include <interrupts.h> void ubsan_log(const char *cause, struct source_location source) { kprintf("%s: %s : %d\n", cause, source.file_name, source.line); |