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

#define BITMASK(bf_off, bf_len) (((1ull << (bf_len)) - 1) << (bf_off))
#define STORE_BY_BITMASK(type, htobe, addr, val, bf_off, bf_len)               \
  *(type*)(addr) =                                                             \
      htobe((htobe(*(type*)(addr)) & ~BITMASK((bf_off), (bf_len))) |           \
            (((type)(val) << (bf_off)) & BITMASK((bf_off), (bf_len))))

int main(void)
{
  syscall(__NR_mmap, /*addr=*/0x1ffff000ul, /*len=*/0x1000ul, /*prot=*/0ul,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul, /*fd=*/-1,
          /*offset=*/0ul);
  syscall(__NR_mmap, /*addr=*/0x20000000ul, /*len=*/0x1000000ul,
          /*prot=PROT_WRITE|PROT_READ|PROT_EXEC*/ 7ul,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul, /*fd=*/-1,
          /*offset=*/0ul);
  syscall(__NR_mmap, /*addr=*/0x21000000ul, /*len=*/0x1000ul, /*prot=*/0ul,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul, /*fd=*/-1,
          /*offset=*/0ul);

  *(uint32_t*)0x20000080 = 0x79;
  *(uint32_t*)0x20000084 = 0;
  *(uint64_t*)0x20000088 = 0;
  syscall(__NR_ioctl, /*fd=*/-1, /*cmd=*/0x4068aea3, /*arg=*/0x20000080ul);
  *(uint32_t*)0x20001200 = 8;
  *(uint32_t*)0x20001204 = 0x80;
  *(uint8_t*)0x20001208 = 0;
  *(uint8_t*)0x20001209 = 0;
  *(uint8_t*)0x2000120a = 0;
  *(uint8_t*)0x2000120b = 0;
  *(uint32_t*)0x2000120c = 0;
  *(uint64_t*)0x20001210 = 0;
  *(uint64_t*)0x20001218 = 0;
  *(uint64_t*)0x20001220 = 0;
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 0, 1);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 1, 1);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 2, 1);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 3, 1);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 4, 1);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 5, 1);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 6, 1);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 7, 1);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 8, 1);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 9, 1);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 10, 1);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 11, 1);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 12, 1);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 13, 1);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 14, 1);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 15, 2);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 17, 1);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 18, 1);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 19, 1);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 20, 1);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 21, 1);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 22, 1);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 23, 1);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 24, 1);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 25, 1);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 26, 1);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 27, 1);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 28, 1);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 29, 1);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 30, 1);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 31, 1);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 32, 1);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 33, 1);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 34, 1);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 35, 1);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 36, 1);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 37, 1);
  STORE_BY_BITMASK(uint64_t, , 0x20001228, 0, 38, 26);
  *(uint32_t*)0x20001230 = 0;
  *(uint32_t*)0x20001234 = 0;
  *(uint64_t*)0x20001238 = 0x20000080;
  *(uint64_t*)0x20001240 = 0;
  *(uint64_t*)0x20001248 = 0;
  *(uint64_t*)0x20001250 = 0;
  *(uint32_t*)0x20001258 = 0;
  *(uint32_t*)0x2000125c = 0;
  *(uint64_t*)0x20001260 = 0;
  *(uint32_t*)0x20001268 = 0;
  *(uint16_t*)0x2000126c = 0;
  *(uint16_t*)0x2000126e = 0;
  *(uint32_t*)0x20001270 = 0;
  *(uint32_t*)0x20001274 = 0;
  *(uint64_t*)0x20001278 = 0;
  syscall(__NR_perf_event_open, /*attr=*/0x20001200ul, /*fd=*/-1, /*cpu=*/0ul,
          /*group=*/-1, /*flags=*/0ul);
  return 0;
}