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

void syscalls_init(void);