// 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

void loop()
{
  syscall(__NR_userfaultfd, 0x0ul);
}

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