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

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

/* recv, recvfrom added by bir7@leland.stanford.edu */

int recv (int __sockfd, 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_RECV, args));
}