1161def nativePhysicalNativeSystemCallBlock =
1162 (lambda unrestricted tail : (family X86NativeAssembly) .
1163 (nativePhysicalNativeLabel
1164 nativePhysicalNativeLabelDispatchSystemCall
1165 (nativePhysicalNativeResolveCall
1166 (byte 64)
1167 (constructor X86NativeRegister64 X86NativeRAX)
1168 (nativePhysicalNativeEmit
1169 (nativePhysicalNativeStore64
1170 (constructor X86NativeRegister64 X86NativeRSP)
1171 (nativePhysicalNativeNegativeDisplacementByte (byte 240))
1172 (constructor X86NativeRegister64 X86NativeRAX))
1173 (nativePhysicalNativeResolveCall
1174 (byte 112)
1175 (constructor X86NativeRegister64 X86NativeRSI)
1176 (nativePhysicalNativeResolveCall
1177 (byte 136)
1178 (constructor X86NativeRegister64 X86NativeRDX)
1179 (nativePhysicalNativeResolveCall
1180 (byte 160)
1181 (constructor X86NativeRegister64 X86NativeRCX)
1182 (nativePhysicalNativeResolveCall
1183 (byte 184)
1184 (constructor X86NativeRegister64 X86NativeR8)
1185 (nativePhysicalNativeResolveCall
1186 (byte 208)
1187 (constructor X86NativeRegister64 X86NativeR9)
1188 (nativePhysicalNativeResolveCall
1189 (byte 88)
1190 (constructor X86NativeRegister64 X86NativeRDI)
1191 (nativePhysicalNativeEmit
1192 (nativePhysicalNativeMove
1193 (constructor X86NativeRegister64 X86NativeRCX)
1194 (constructor X86NativeRegister64 X86NativeR10))
1195 (nativePhysicalNativeEmit
1196 (nativePhysicalNativeLoad64
1197 (constructor X86NativeRegister64 X86NativeRAX)
1198 (constructor X86NativeRegister64 X86NativeRSP)
1199 (nativePhysicalNativeNegativeDisplacementByte (byte 240)))
1200 (nativePhysicalNativeEmit
1201 nativePhysicalNativeSystemCallInstruction
1202 (nativePhysicalNativeEmit
1203 (nativePhysicalNativeMove
1204 (constructor X86NativeRegister64 X86NativeRAX)
1205 (constructor X86NativeRegister64 X86NativeRDX))
1206 (nativePhysicalNativeJump nativePhysicalNativeLabelBindResult 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.