#include "jove.h"
#include "print.h"

#include <stdarg.h>
#include <stddef.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);
    _plogvf(NULL, NULL, 0, PRINT_LOG, fmt, ap);
    va_end(ap);
    for(;;) __asm__ volatile("hlt");
}