#include "api/error.h" #include "sys/message.h" #include "sys/syscall.h" int _syscall_handle_message(syscall_context_t *ctx) { switch(ctx->header->callid) { default: return -EBADCALL; } }