Runtime.LinuxSyscall

1047def linuxExpectedSuccessfulResponseKind =
1048  (lambda unrestricted request : (family LinuxSyscallRequest) .
1049    (eliminate
1050      LinuxSyscallRequest
1051      (lambda unrestricted current : (family LinuxSyscallRequest) .
1052        (family LinuxSuccessfulResponseKind))
1053      request
1054      (branch
1055        LinuxOpenAt
1056        directory
1057        path
1058        flags
1059        mode
1060        .
1061        (constructor LinuxSuccessfulResponseKind LinuxSuccessfulOpenKind))
1062      (branch
1063        LinuxRead
1064        descriptor
1065        requestedBytes
1066        .
1067        (constructor LinuxSuccessfulResponseKind LinuxSuccessfulReadKind))
1068      (branch
1069        LinuxSeek
1070        descriptor
1071        offset
1072        whence
1073        .
1074        (constructor LinuxSuccessfulResponseKind LinuxSuccessfulSeekKind))
1075      (branch
1076        LinuxWrite
1077        descriptor
1078        payload
1079        .
1080        (constructor LinuxSuccessfulResponseKind LinuxSuccessfulWriteKind))
1081      (branch
1082        LinuxClose
1083        descriptor
1084        .
1085        (constructor LinuxSuccessfulResponseKind LinuxSuccessfulUnitKind))
1086      (branch
1087        LinuxFsync
1088        descriptor
1089        .
1090        (constructor LinuxSuccessfulResponseKind LinuxSuccessfulUnitKind))
1091      (branch
1092        LinuxFdatasync
1093        descriptor
1094        .
1095        (constructor LinuxSuccessfulResponseKind LinuxSuccessfulUnitKind))
1096      (branch
1097        LinuxUnlinkAt
1098        directory
1099        path
1100        flags
1101        .
1102        (constructor LinuxSuccessfulResponseKind LinuxSuccessfulUnitKind))
1103      (branch
1104        LinuxRenameAt2
1105        sourceDirectory
1106        sourcePath
1107        destinationDirectory
1108        destinationPath
1109        flags
1110        .
1111        (constructor LinuxSuccessfulResponseKind LinuxSuccessfulUnitKind))
1112      (branch
1113        LinuxIoctl
1114        descriptor
1115        request
1116        payload
1117        .
1118        (constructor LinuxSuccessfulResponseKind LinuxSuccessfulIoctlKind))
1119      (branch
1120        LinuxMmap
1121        address
1122        extent
1123        protection
1124        flags
1125        descriptor
1126        offset
1127        .
1128        (constructor LinuxSuccessfulResponseKind LinuxSuccessfulMmapKind))
1129      (branch
1130        LinuxMunmap
1131        address
1132        extent
1133        .
1134        (constructor LinuxSuccessfulResponseKind LinuxSuccessfulUnitKind))))