#ifndef SYSCALLS_H
#define SYSCALLS_H

#include <stdbool.h>
#include <stdint.h>

typedef enum {
    SYS_RUN = 0,
    SYS_REGISTER_FUNCTION = 1,
    SYS_REQUEST = 2,
    SYS_IO_IN = 3,
    SYS_IO_OUT = 4,
    SYS_LOAD_INITRD = 5,
    SYS_GET_SERVICE = 6,
    SYS_GET_PROVIDER = 7,
    SYS_SUBSCRIBE_INTERRUPT = 8,
    SYS_CREATE_EVENT = 9,
    SYS_GET_EVENT = 10,
    SYS_FIRE_EVENT = 11,
    SYS_SUBSCRIBE_EVENT = 12,
} SyscallIds;

#endif