r0 = io_uring_setup(0x1cd, &(0x7f0000000200))
read$eventfd(r0, 0x0, 0x0)