#include <error.h>
#include <kernel/error.h>

JoveError
jove_error_from_kerror(int kerror)
{
    switch(kerror) {
        case KE_OK: 
            return EJOVE_OK;
        case KE_BADMSG:
        case KE_BADOBJ: 
            return EJOVE_BADOBJ;
        case KE_BADCALL:
        case KE_BADFUNC: 
            return EJOVE_NOIMPL;
        case KE_BADSIZE:
            return EJOVE_BADSIZE;
        case KE_DNE:
            return EJOVE_DNE;
        default: return EJOVE_KERROR;
    }
}