// autogenerated by syzkaller (http://github.com/google/syzkaller)

#define _GNU_SOURCE

#include <pthread.h>
#include <stdint.h>
#include <stdlib.h>
#include <string.h>
#include <sys/syscall.h>
#include <unistd.h>

static void test();

void loop()
{
  while (1) {
    test();
  }
}

long r[48];
void* thr(void* arg)
{
  switch ((long)arg) {
  case 0:
    r[0] = syscall(__NR_mmap, 0x20000000ul, 0x19000ul, 0x3ul, 0x32ul,
                   0xfffffffffffffffful, 0x0ul);
    break;
  case 1:
    memcpy((void*)0x20017ff7, "\x2f\x64\x65\x76\x2f\x6b\x76\x6d\x00",
           9);
    r[2] = syscall(__NR_openat, 0xffffffffffffff9cul, 0x20017ff7ul,
                   0x0ul, 0x0ul);
    break;
  case 2:
    r[3] = syscall(__NR_ioctl, r[2], 0xae01ul, 0x0ul);
    break;
  case 3:
    r[4] = syscall(__NR_eventfd2, 0x0ul, 0x0ul);
    break;
  case 4:
    r[5] = syscall(__NR_clock_gettime, 0x0ul, 0x20019000ul);
    break;
  case 5:
    *(uint32_t*)0x2000d000 = r[4];
    *(uint32_t*)0x2000d004 = (uint32_t)0x0;
    *(uint32_t*)0x2000d008 = (uint32_t)0x0;
    *(uint32_t*)0x2000d00c = (uint32_t)0xffffffffffffffff;
    *(uint8_t*)0x2000d010 = (uint8_t)0x0;
    *(uint8_t*)0x2000d011 = (uint8_t)0x0;
    *(uint8_t*)0x2000d012 = (uint8_t)0x0;
    *(uint8_t*)0x2000d013 = (uint8_t)0x0;
    *(uint8_t*)0x2000d014 = (uint8_t)0x0;
    *(uint8_t*)0x2000d015 = (uint8_t)0x0;
    *(uint8_t*)0x2000d016 = (uint8_t)0x0;
    *(uint8_t*)0x2000d017 = (uint8_t)0x0;
    *(uint8_t*)0x2000d018 = (uint8_t)0x0;
    *(uint8_t*)0x2000d019 = (uint8_t)0x0;
    *(uint8_t*)0x2000d01a = (uint8_t)0x0;
    *(uint8_t*)0x2000d01b = (uint8_t)0x0;
    *(uint8_t*)0x2000d01c = (uint8_t)0x0;
    *(uint8_t*)0x2000d01d = (uint8_t)0x0;
    *(uint8_t*)0x2000d01e = (uint8_t)0x0;
    *(uint8_t*)0x2000d01f = (uint8_t)0x0;
    r[26] = syscall(__NR_ioctl, r[3], 0x4020ae76ul, 0x2000d000ul);
    break;
  case 6:
    *(uint32_t*)0x20018fe0 = r[4];
    *(uint32_t*)0x20018fe4 = (uint32_t)0x0;
    *(uint32_t*)0x20018fe8 = (uint32_t)0x1;
    *(uint32_t*)0x20018fec = r[4];
    *(uint8_t*)0x20018ff0 = (uint8_t)0x0;
    *(uint8_t*)0x20018ff1 = (uint8_t)0x0;
    *(uint8_t*)0x20018ff2 = (uint8_t)0x0;
    *(uint8_t*)0x20018ff3 = (uint8_t)0x0;
    *(uint8_t*)0x20018ff4 = (uint8_t)0x0;
    *(uint8_t*)0x20018ff5 = (uint8_t)0x0;
    *(uint8_t*)0x20018ff6 = (uint8_t)0x0;
    *(uint8_t*)0x20018ff7 = (uint8_t)0x0;
    *(uint8_t*)0x20018ff8 = (uint8_t)0x0;
    *(uint8_t*)0x20018ff9 = (uint8_t)0x0;
    *(uint8_t*)0x20018ffa = (uint8_t)0x0;
    *(uint8_t*)0x20018ffb = (uint8_t)0x0;
    *(uint8_t*)0x20018ffc = (uint8_t)0x0;
    *(uint8_t*)0x20018ffd = (uint8_t)0x0;
    *(uint8_t*)0x20018ffe = (uint8_t)0x0;
    *(uint8_t*)0x20018fff = (uint8_t)0x0;
    r[47] = syscall(__NR_ioctl, r[3], 0x4020ae76ul, 0x20018fe0ul);
    break;
  }
  return 0;
}

void test()
{
  long i;
  pthread_t th[14];

  memset(r, -1, sizeof(r));
  srand(getpid());
  for (i = 0; i < 7; i++) {
    pthread_create(&th[i], 0, thr, (void*)i);
    usleep(rand() % 10000);
  }
  for (i = 0; i < 7; i++) {
    pthread_create(&th[7 + i], 0, thr, (void*)i);
    if (rand() % 2)
      usleep(rand() % 10000);
  }
  usleep(rand() % 100000);
}

int main()
{
  int i;
  for (i = 0; i < 8; i++) {
    if (fork() == 0) {
      loop();
      return 0;
    }
  }
  sleep(1000000);
  return 0;
}