Legacy V2 padded syscall payloads, but this does not align every record.
Preserve its bytes for existing x86 artifacts. V3 separately pads the complete
record without altering any content extent; Runtime.NativePhysicalImagePlan
owns that wire contract and the AArch64 runtime requires it.
429def nativePhysicalImageSystemCallPayloadPadding =
430 (lambda unrestricted payloadLength : Nat .
431 (naturalModuloUnchecked
432 (naturalSaturatingSubtract
433 nativePhysicalImageRecordAlignment
434 (naturalModuloUnchecked payloadLength nativePhysicalImageRecordAlignment))
435 nativePhysicalImageRecordAlignment))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.