blob: d2f80e5533a77e434a7850716ecd379d411efafd (
plain) (
tree)
|
|
#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
|