#include "api/syscall.h"
#include "api/errno.h"
#include "umode_vma.h"
#include "arch/processor.h"
#include "handler.h"

int
_handler_exit(struct sc_exit *sc)
{
    int exit_code = 0;
    if(user_vma_read(&exit_code, &sc->exit_code, sizeof(int)) != 0)
        return -EFAIL;

    tcb_t *tcb = tcb_current();
    tcb_kill(tcb, exit_code);
    return 0;
}