772def x86NativeMemoryInstructionBytes :
773 (pi unrestricted opcode : Bytes .
774 (pi unrestricted register : (family X86NativeRegister64) .
775 (pi unrestricted base : (family X86NativeRegister64) .
776 (pi unrestricted displacement : (family X86NativeDisplacement32) . Bytes)))) =
777 (lambda unrestricted opcode : Bytes .
778 (lambda unrestricted register : (family X86NativeRegister64) .
779 (lambda unrestricted base : (family X86NativeRegister64) .
780 (lambda unrestricted displacement : (family X86NativeDisplacement32) .
781 (bytes-builder-build
782 (bytes-builder-append
783 (bytes-builder-chunk (x86NativeRexWRegisterPair register base))
784 (bytes-builder-append
785 (bytes-builder-chunk opcode)
786 (bytes-builder-append
787 (bytes-builder-chunk
788 (x86NativeModRMMemory
789 (x86NativeRegisterLow3 register)
790 (x86NativeRegisterLow3 base)))
791 (bytes-builder-append
792 (bytes-builder-chunk (x86NativeMemorySIB (x86NativeRegisterLow3 base)))
793 (bytes-builder-chunk (x86NativeDisplacement32Bytes displacement)))))))))))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.