runtime.h

#pragma once
 
#include <threads.h>
#include <stdatomic.h>
#include <pthread.h>
#include <kernel/rpc.h>
 
#define os_init_core(x)
 
struct OS_thread_t;
 
void os_thread_initialize_arch(struct OS_thread_t * thread, unsigned stack_size, entrypoint_t * entrypoint, void * data);
void os_init_arch(void);
 
enum SyscallOutcome {
    SYSCALL_OUTCOME_RETURN,
    SYSCALL_OUTCOME_RPC_CALL
};
 
struct syscall_dispatch_t {
    long args[6];
    long retval;
    unsigned char syscall_id;
    enum SyscallOutcome outcome;
    RPC_Method_t dispatch_target;
    long dispatch_args[5];
};
 
struct Arch_State_t {
    int block_pipe[2];  // [read_fd, write_fd]
    volatile atomic_int is_suspended;
    thrd_t sched_thread;
    pthread_t sched_thread_id;
    struct syscall_dispatch_t syscall;
};