/* syscall: "getdents64" ret: "int" args: "int" "linux32_dirent64p_t" "unsigned int" */