path: root/include/kernel/kernel.h

volatile void panic(void);