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