#ifndef DEF_SYSCALL_H
#define DEF_SYSCALL_H

void thread_exit();
void schedule();
void thread_sleep(int time);
void process_exit(int retval);
void printk(char* str);
void thread_new(void (*entry)(void*), void *data);
void irq_wait(int number);

#endif