#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
recvfrom (int __sockfd, void *__buff, int __len, unsigned int __flags,
                              struct sockaddr *__from, int *__fromlen)
{
  unsigned long args[6];
  args[0] = __sockfd;
  args[1] = (unsigned long) __buff;
  args[2] = __len;
  args[3] = __flags;
  args[4] = (unsigned long) __from;
  args[5] = (unsigned long) __fromlen;
  return (socketcall (SYS_RECVFROM, args));
}