/* syscall: "fdatasync" ret: "int" args: "int" */