syscall.c

Go to the documentation of this file.

#include <common.h>
#include <interrupts/syscall.h>
#include <interrupts/isr.h>
#include <tasks/schedule.h>
#include <syscall.h>

static void syscall_exit(uint32_t return_value, uint32_t ecx,
        uint32_t edx, uint32_t esi, uint32_t edi, cpu_state_t** cpu) {
    task_pid_t current_task = schedule_get_current_task();
    task_pid_t next_task = schedule_get_next_task();
    if (current_task == next_task) {
        println("%4aThe last task cannot exit%a");
    }
    task_stop(current_task);
    *cpu = schedule_switch_task(next_task);
}

static uint32_t syscall_getpid() {
    return schedule_get_current_task();
}

void syscall_init() {
    isr_register_syscall(SYSCALL_EXIT,       syscall_exit);
    isr_register_syscall(SYSCALL_GETPID,     syscall_getpid);
    isr_register_syscall(SYSCALL_IO_PUTCHAR, io_putchar);
    isr_register_syscall(SYSCALL_IO_ATTR,    io_attr);
}