#ifndef KERNEL_PANIC_H #define KERNEL_PANIC_H #include <kernel/asm.h> #include <stdint.h> #include <stddef.h> void panic(const char *str); #endif