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

void uacpi_kernel_log(uacpi_log_level lvl, const uacpi_char* fmt, ...)
{
    va_list ap;
    va_start(ap, fmt);

    kvprintf(fmt, ap);

    va_end(ap);
}