#ifndef SYSCALL_H
#define SYSCALL_H

extern void *do_write(void *arg);
extern void *do_read(void *arg);

#endif