#include <syscall.h>
#include <sys/socket.h>
#include <sys/socketcall.h>

static inline
_syscall2(long,socketcall,int,call,unsigned long *,args);

/* send, sendto added by bir7@leland.stanford.edu */

int
send (int __sockfd, __const void *__buff, int __len,
		 unsigned int __flags)
{
  unsigned long args[4];
  args[0] = __sockfd;
  args[1] = (unsigned long) __buff;
  args[2] = __len;
  args[3] = __flags;
  return (socketcall (SYS_SEND, args));
}