933def linuxCleanupFailureCount =
934 (lambda unrestricted telemetry : (family LinuxSyscallReceiptTelemetry) .
935 (eliminate
936 LinuxSyscallReceiptTelemetry
937 (lambda unrestricted current : (family LinuxSyscallReceiptTelemetry) . Nat)
938 telemetry
939 (branch
940 LinuxSyscallReceiptTelemetryValue
941 issued
942 completed
943 retries
944 requestedBytes
945 completedBytes
946 eof
947 cleanup
948 .
949 (eliminate
950 LinuxCleanupTelemetry
951 (lambda unrestricted current : (family LinuxCleanupTelemetry) . Nat)
952 cleanup
953 (branch
954 LinuxCleanupTelemetryValue
955 closeAttempts
956 closesCompleted
957 munmapAttempts
958 munmapsCompleted
959 unlinkAttempts
960 unlinksCompleted
961 syncAttempts
962 syncsCompleted
963 failures
964 firstErrno
965 hostFallbacks
966 .
967 failures)))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.