r0 = open$dir(&(0x7f00000000c0)='./file1\x00', 0x880c0, 0x0)
sync_file_range(r0, 0x471, 0xfffffffffffffc01, 0x0)