path: root/kernel/cpu/syscall.h

#include "idt.h"
#include <stddef.h>
#include <typedefs.h>

void syscalls_init(void);