close_range(0xffffffffffffffff, 0xffffffffffffffff, 0x2)
r0 = eventfd2(0x0, 0x0)
sync_file_range(r0, 0x0, 0x0, 0x0)