#ifndef _SYSCALL_H
#define _SYSCALL_H

/* calling convention:
 * - syscall number and params are passed on stack
 */

#define SYS_exit  0x00
#define SYS_print 0x01

void do_syscall(void);

#endif