// https://syzkaller.appspot.com/bug?id=406f064ec96430c597b3e6d9472c873b88bc6ab1
// autogenerated by syzkaller (http://github.com/google/syzkaller)

#define _GNU_SOURCE

#include <sys/syscall.h>
#include <unistd.h>

#include <stdint.h>
#include <string.h>

#ifndef __NR_userfaultfd
#define __NR_userfaultfd 323
#endif

long r[1];
void loop()
{
  memset(r, -1, sizeof(r));
  r[0] = syscall(__NR_userfaultfd, 0x0ul);
}

int main()
{
  loop();
  return 0;
}