path: root/include/kernel/panic.h

void panic(const char*, ...) __attribute__ ((format (printf, 1, 2)));