// https://syzkaller.appspot.com/bug?id=2ffd9d5cc6ebb3a02c5c1ec0e102c190cca0718a
// autogenerated by syzkaller (https://github.com/google/syzkaller)

#define _GNU_SOURCE

#include <endian.h>
#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <sys/syscall.h>
#include <sys/types.h>
#include <unistd.h>

uint64_t r[1] = {0xffffffffffffffff};

int main(void)
{
  syscall(__NR_mmap, /*addr=*/0x1ffff000ul, /*len=*/0x1000ul, /*prot=*/0ul,
          /*flags=*/0x32ul, /*fd=*/-1, /*offset=*/0ul);
  syscall(__NR_mmap, /*addr=*/0x20000000ul, /*len=*/0x1000000ul, /*prot=*/7ul,
          /*flags=*/0x32ul, /*fd=*/-1, /*offset=*/0ul);
  syscall(__NR_mmap, /*addr=*/0x21000000ul, /*len=*/0x1000ul, /*prot=*/0ul,
          /*flags=*/0x32ul, /*fd=*/-1, /*offset=*/0ul);
  intptr_t res = 0;
  res = syscall(__NR_socket, /*domain=*/0xaul, /*type=*/3ul, /*proto=*/8);
  if (res != -1)
    r[0] = res;
  *(uint8_t*)0x200001c0 = -1;
  *(uint8_t*)0x200001c1 = 2;
  memset((void*)0x200001c2, 0, 13);
  *(uint8_t*)0x200001cf = 1;
  *(uint8_t*)0x200001d0 = 0xfc;
  *(uint8_t*)0x200001d1 = 0;
  memset((void*)0x200001d2, 0, 13);
  *(uint8_t*)0x200001df = 0;
  *(uint8_t*)0x200001e0 = 0xfc;
  *(uint8_t*)0x200001e1 = 0;
  memset((void*)0x200001e2, 0, 13);
  *(uint8_t*)0x200001ef = 0;
  *(uint32_t*)0x200001f0 = 0;
  *(uint16_t*)0x200001f4 = 0;
  *(uint16_t*)0x200001f6 = 0;
  *(uint32_t*)0x200001f8 = 0;
  *(uint64_t*)0x20000200 = 0;
  *(uint32_t*)0x20000208 = 0x20c301e6;
  *(uint32_t*)0x2000020c = 0;
  syscall(__NR_ioctl, /*fd=*/r[0], /*cmd=*/0x890b, /*arg=*/0x200001c0ul);
  return 0;
}