ABI: control, publication state, capture decision, terminal request,
publication-result address, exact publication extent. Result address and
buffers are admitted by the VM operand and arena owners. Return only 0/1.
Seven means not requested, not a fabricated durability acknowledgement.
Source opportunities are selected plus excluded deltas, not elapsed time.
1113def nativeTelemetryPolicyFlushRoutine =
1114 (lambda unrestricted threshold : Nat .
1115 (lambda unrestricted bound : Nat .
1116 (compiler-native-encode
1117 (family X86NativeAssembly)
1118 (telemetryPolicyFlushAssemblyFor
1119 (family X86NativeAssembly)
1120 (family X86NativeRegister64)
1121 policyX86Backend
1122 threshold
1123 bound))))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.