#pragma once

__attribute__((noreturn)) void kpanic(const char *format, ...);