//
// Created by rick on 22-02-21.
//

#ifndef NEW_KERNEL_SYSCALL_H
#define NEW_KERNEL_SYSCALL_H
#include <types.h>
#include <attributes.h>

#define SYSCALL_START_SCHEDULER 0x01
#define SYSCALL_YIELD_JOB       0x02
#define SYSCALL_YIELD_IRQ       0x03
#define SYSCALL_SUSPEND         0x04

void noreturn syscall_start_scheduler();

void syscall_yield_job();

void syscall_yield_irq(uint16_t irq);

void syscall_job_suspend();

#endif //NEW_KERNEL_SYSCALL_H