// syscall.h
// Author: Josh Holtrop
// Date; 01/02/06
// Modified: 01/02/06

#ifndef __HOS_SYSCALL_H__
#define __HOS_SYSCALL_H__ __HOS_SYSCALL_H__

#include "hos_defines.h"
#include "kernel.h"

void	syscall(u32_t cur_task, int_stack_t *int_stack);

#endif