#include <common.h>
#include <interrupts/syscall.h>
#include <interrupts/isr.h>
#include <tasks/schedule.h>
Go to the source code of this file.
Functions | |
static void | syscall_exit (uint32_t return_value, uint32_t ecx, uint32_t edx, uint32_t esi, uint32_t edi, cpu_state_t **cpu) |
Exits the current task. More... | |
static uint32_t | syscall_getpid () |
Returns the current task's PID. More... | |
void | syscall_init () |
Initializes the syscall interface. | |