diff options
| author | Anton Kling <anton@kling.gg> | 2024-06-26 21:17:06 +0200 |
|---|---|---|
| committer | Anton Kling <anton@kling.gg> | 2024-06-26 21:20:47 +0200 |
| commit | edf86881446717b633dbb2aaac7b25dbc4630c3f (patch) | |
| tree | 5270af1ffcbd83ee4cd3809fd6cf525780d1f431 /kernel/kubsan.c | |
| parent | 58423a4cf62ee848fac5ee6755fa459c7db5acb2 (diff) | |
Kernel: Code cleanup
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); |