#include "panic.h"
#include "lib/printf.h"

int _kernel_panic_unlock = 0;

void
kpanic(const char *fmt, ...)
{
    _kernel_panic_unlock = 1;

    va_list ap;
    va_start(ap, fmt);

    kvprintf(fmt, ap);

    va_end(ap);
    hcf();
}