stuff3

kernel/arch/x86_64/apic.c

@@ -1,8 +1,8 @@
 #include <zinnia/mem.h>
-#include <kernel/assert.h>
 #include <kernel/clock.h>
 #include <kernel/mmio.h>
 #include <kernel/percpu.h>
+#include <assert.h>
 #include <stdint.h>
 #include <x86_64/apic.h>
 #include <x86_64/asm.h>

kernel/arch/x86_64/hpet.c

@@ -1,9 +1,9 @@
 #include <common/utils.h>
-#include <kernel/assert.h>
 #include <kernel/clock.h>
 #include <kernel/cmdline.h>
 #include <kernel/mmio.h>
 #include <kernel/print.h>
+#include <assert.h>
 #include <uacpi/acpi.h>
 #include <uacpi/status.h>
 #include <uacpi/tables.h>

kernel/arch/x86_64/idt.c

@@ -1,10 +1,10 @@
 #include <common/compiler.h>
-#include <kernel/assert.h>
 #include <kernel/irq.h>
 #include <kernel/panic.h>
 #include <kernel/percpu.h>
 #include <kernel/print.h>
 #include <kernel/sched.h>
+#include <assert.h>
 #include <bits/sched.h>
 #include <stddef.h>
 #include <stdint.h>