#include "api/error.h"
#include "lib/printf.h"
#include "syscall.h"

int
s_syscall_pcb_yield(jove_owned_obj_t *pcb_obj,
        size_t bytes_left,
        void *payload_data)
{
    kprintf("%s: Stub!\n", __func__);
    return 0;
}

int
_syscall_handle_pcb(syscall_context_t *ctx)
{
    switch(ctx->header->callid) {
        case SYSCALL_PCB_YIELD:
            if(ctx->target.permissions & SYSCALL_PERM_PCB_YIELD)
                return s_syscall_pcb_yield(ctx->target.obj, ctx->bytes_left, ctx->payload);
            return -EPERM;

        default:
            return -EBADCALL;
    }
}