#include "nios32_syscall.H"

void nios32_syscall::get_buffer(int argn, unsigned char* buf, unsigned int size)
{
 return;
}

void nios32_syscall::set_buffer(int argn, unsigned char* buf, unsigned int size)
{
 return;
}

void nios32_syscall::set_buffer_noinvert(int argn, unsigned char* buf, unsigned int size)
{
 return;
}

int nios32_syscall::get_int(int argn)
{

}

void nios32_syscall::set_int(int argn, int val)
{
 return;
}

void nios32_syscall::return_from_syscall()
{
 return;
}

void nios32_syscall::set_prog_args(int argc, char** argv)
{
 return;
}
