The validated extent: content + 232 - omitted, refusing omitted > 168.
524def nativePhysicalNativeRecordFixedPart =
525 (lambda unrestricted total : (family X86NativeRegister64) .
526 (lambda unrestricted scratch : (family X86NativeRegister64) .
527 (lambda unrestricted tail : (family X86NativeAssembly) .
528 (nativePhysicalNativeEmit
529 (nativePhysicalNativeAddImmediate
530 total
531 (nativePhysicalNativeI32Byte (nat-to-byte nativePhysicalImageCommandFixedBytes)))
532 (nativePhysicalNativeEmit
533 (nativePhysicalNativeLoad64
534 scratch
535 (constructor X86NativeRegister64 X86NativeR14)
536 (nativePhysicalNativeDisplacementByte (byte 56)))
537 (nativePhysicalNativeEmit
538 (nativePhysicalNativeCompareImmediate
539 scratch
540 (nativePhysicalNativeI32Byte (nat-to-byte nativePhysicalImageCommandOperandBytes)))
541 (nativePhysicalNativeJumpCondition
542 (constructor X86NativeCondition X86NativeConditionAbove)
543 nativePhysicalNativeLabelFatalRecord
544 (nativePhysicalNativeEmit
545 (nativePhysicalNativeSubtract scratch total)
546 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.