#include "handler.h"
#include "print.h"
#include "umode_vma.h"
#include "api/errno.h"

int
_handler_dbg_log(struct sc_dbg_log *u_sc)
{
    struct sc_dbg_log sc;
    if(user_vma_read(&sc, u_sc, sizeof(struct sc_dbg_log)) != 0)
        return -EFAIL;

    char buf[sc.w];
    if(user_vma_read(buf, sc.s, sc.w) != 0)
        return -EFAIL;

    klogf("%s", buf);
    return 0;
}