Source-policy initialization owns this temporary descriptor. CLOEXEC,
NOFOLLOW and NONBLOCK keep the admitted file read bounded and prevent a
symlink from replacing the assignment. AArch64 translates NOFOLLOW through
its existing host syscall adapter. Errors stop before any journal is opened.
363def nativeTelemetryInitializeIdentityFrom =
364 (lambda unrestricted source : (family NativeTelemetryIdentitySource) .
365 (lambda unrestricted descriptorSlot : Nat .
366 (lambda unrestricted applicationBytes : Nat .
367 (lambda unrestricted ordinaryCapacity : Nat .
368 (lambda unrestricted reservedCapacity : Nat .
369 (lambda unrestricted resultSlot : Nat .
370 (lambda unrestricted identity : Bytes .
371 (lambda unrestricted tail : (family NativePhysicalCommands) .
372 (eliminate
373 NativeTelemetryIdentitySource
374 (lambda unrestricted current : (family NativeTelemetryIdentitySource) . (family NativePhysicalCommands))
375 source
376 (branch NativeTelemetryFreshIdentity .
377 (nativeTelemetryIdentityCommand applicationBytes ordinaryCapacity reservedCapacity resultSlot identity tail))
378 (branch NativeTelemetryAssignedFile path .
379 (aosChoose
380 (family NativePhysicalCommands)
381 (naturalIsZero (naturalEqual descriptorSlot resultSlot))
382 (nativeLaunchRecipeCommand
383 (constructor
384 NativePhysicalOperation NativePhysicalSystemCall
385 (nativeLaunchRecipeImmediate 257)
386 (nativeLaunchRecipeArguments
387 (nativeLaunchRecipeImmediate 18446744073709551516)
388 path
389 (nativeLaunchRecipeImmediate
390 (naturalAdd (naturalPowerOfTwo 19) (naturalAdd (naturalPowerOfTwo 17) (naturalPowerOfTwo 11))))
391 (nativeLaunchRecipeImmediate 0))
392 b"" (nativeLaunchRecipeStore descriptorSlot))
393 identity
394 (nativeTelemetryReadAssignedIdentity
395 applicationBytes ordinaryCapacity reservedCapacity
396 (nativeLaunchRecipeSlotValue descriptorSlot) resultSlot identity
397 (nativeLaunchRecipeAssertEqual
398 (nativeLaunchRecipeSlotValue resultSlot) (nativeLaunchRecipeImmediate 0)
399 b"telemetry:identity-binding-invalid"
400 (nativeLaunchRecipeCommand
401 (constructor
402 NativePhysicalOperation NativePhysicalSystemCall
403 (nativeLaunchRecipeImmediate 3)
404 (nativeLaunchRecipeArguments
405 (nativeLaunchRecipeSlotValue descriptorSlot)
406 (nativeLaunchRecipeImmediate 0) (nativeLaunchRecipeImmediate 0) (nativeLaunchRecipeImmediate 0))
407 b"" (nativeLaunchRecipeStore resultSlot))
408 identity
409 (nativeLaunchRecipeAssertEqual
410 (nativeLaunchRecipeSlotValue resultSlot) (nativeLaunchRecipeImmediate 0)
411 b"telemetry:identity-binding-close" tail)))))
412 (nativeTelemetryIdentityCommandFor b"" applicationBytes ordinaryCapacity reservedCapacity resultSlot identity tail))))))))))))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.