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.
385def nativePhysicalImageSystemCallPayloadPadding =
386 (lambda unrestricted payloadLength : Nat .
387 (naturalModuloUnchecked
388 (naturalSaturatingSubtract
389 nativePhysicalImageRecordAlignment
390 (naturalModuloUnchecked payloadLength nativePhysicalImageRecordAlignment))
391 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.