#ifndef DEF_SYSCALL_H
#define DEF_SYSCALL_H

#include <types.h>
#include <tce/syscalls.h>

#define NEW_STACK_SIZE 0x8000

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);
int proc_priv();

void* sbrk(size_t size);
void brk(void* ptr);

#endif