r0 = inotify_init()
sync_file_range(r0, 0x0, 0x0, 0x7d21e6a910717667)