994def x86NativeCallRegister64Bytes : (pi unrestricted target : (family X86NativeRegister64) . Bytes) =
995 (lambda unrestricted target : (family X86NativeRegister64) .
996 (eliminate
997 X86NativeRegister64
998 (lambda unrestricted value : (family X86NativeRegister64) . Bytes)
999 target
1000 (branch X86NativeRAX . (bytes 255 208))
1001 (branch X86NativeRCX . (bytes 255 209))
1002 (branch X86NativeRDX . (bytes 255 210))
1003 (branch X86NativeRBX . (bytes 255 211))
1004 (branch X86NativeRSP . (bytes 255 212))
1005 (branch X86NativeRBP . (bytes 255 213))
1006 (branch X86NativeRSI . (bytes 255 214))
1007 (branch X86NativeRDI . (bytes 255 215))
1008 (branch X86NativeR8 . (bytes 65 255 208))
1009 (branch X86NativeR9 . (bytes 65 255 209))
1010 (branch X86NativeR10 . (bytes 65 255 210))
1011 (branch X86NativeR11 . (bytes 65 255 211))
1012 (branch X86NativeR12 . (bytes 65 255 212))
1013 (branch X86NativeR13 . (bytes 65 255 213))
1014 (branch X86NativeR14 . (bytes 65 255 214))
1015 (branch X86NativeR15 . (bytes 65 255 215))))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.