390def nativePhysicalNativeResolveCall =
391 (lambda unrestricted descriptorOffset : Byte .
392 (lambda unrestricted destination : (family X86NativeRegister64) .
393 (lambda unrestricted tail : (family X86NativeAssembly) .
394 (nativePhysicalNativeEmit
395 (nativePhysicalNativeMove
396 (constructor X86NativeRegister64 X86NativeR14)
397 (constructor X86NativeRegister64 X86NativeRDI))
398 (nativePhysicalNativeEmit
399 (nativePhysicalNativeAddImmediate
400 (constructor X86NativeRegister64 X86NativeRDI)
401 (nativePhysicalNativeI32Byte descriptorOffset))
402 (nativePhysicalNativeLEA
403 (constructor X86NativeRegister64 X86NativeRAX)
404 nativePhysicalNativeLabelResolve
405 (nativePhysicalNativeEmit
406 (nativePhysicalNativeCall (constructor X86NativeRegister64 X86NativeRAX))
407 (nativePhysicalNativeEmit
408 (nativePhysicalNativeMove
409 (constructor X86NativeRegister64 X86NativeRAX)
410 destination)
411 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.