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 9bc2631..2923268 100644 --- a/kernel/kubsan.c +++ b/kernel/kubsan.c @@ -1,8 +1,8 @@ +#include <cpu/arch_inst.h> #include <interrupts.h> #include <kubsan.h> #include <log.h> #include <stdio.h> -#include <cpu/arch_inst.h> void ubsan_log(const char *cause, struct source_location source) { kprintf("%s: %s : %d\n", cause, source.file_name, source.line); |