#ifndef _SYSCALL_H
#define _SYSCALL_H

/* calling convention:
 * - pass syscall number in GPR[1]
 * - pass arguments in GPR[2]-GPR[9]
 * - return code is passed in GPR[2]
 */

#define SYS_exit  0x00
#define SYS_read  0x01
#define SYS_write 0x02

void do_syscall(void);

#endif