#include "jove.h"
#include "io/log.h"

#include <stdarg.h>

__attribute__((noreturn))
void _kpanic(const char *file, int line, const char *fmt, ...)
{
    va_list ap;
    va_start(ap, fmt);
    klogf("!!! PANIC !!!\n%s:%i\n", file, line);
    kvlogf(fmt, ap);
    va_end(ap);
    for(;;) __asm__ volatile("hlt");
}