969def linuxCleanupHostFallbackCount =
970 (lambda unrestricted telemetry : (family LinuxSyscallReceiptTelemetry) .
971 (eliminate
972 LinuxSyscallReceiptTelemetry
973 (lambda unrestricted current : (family LinuxSyscallReceiptTelemetry) . Nat)
974 telemetry
975 (branch
976 LinuxSyscallReceiptTelemetryValue
977 issued
978 completed
979 retries
980 requestedBytes
981 completedBytes
982 eof
983 cleanup
984 .
985 (eliminate
986 LinuxCleanupTelemetry
987 (lambda unrestricted current : (family LinuxCleanupTelemetry) . Nat)
988 cleanup
989 (branch
990 LinuxCleanupTelemetryValue
991 closeAttempts
992 closesCompleted
993 munmapAttempts
994 munmapsCompleted
995 unlinkAttempts
996 unlinksCompleted
997 syncAttempts
998 syncsCompleted
999 failures
1000 firstErrno
1001 hostFallbacks
1002 .
1003 hostFallbacks)))))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.