#ifndef DEF_SYSCALL_H
#define DEF_SYSCALL_H

#include "idt.h"

#define NUMBER_OF_SYSCALLS 32

extern int_callback syscalls[];

#endif