1326def sm86EncodeLoadShared =
1327 (lambda unrestricted guard : (family SM86InstructionGuard) .
1328 (lambda unrestricted destination : (family SM86Register) .
1329 (lambda unrestricted address : (family SM86Register) .
1330 (lambda unrestricted offset : (family SM86Unsigned32) .
1331 (lambda unrestricted control : (family SM86Control) .
1332 (sm86EncodeInstructionFields
1333 sm86OpcodeLoadShared
1334 guard
1335 control
1336 (sm86InstructionPrependField
1337 sm86InstructionNaturalSixteen
1338 sm86InstructionNaturalEight
1339 (sm86RegisterNatural destination)
1340 (sm86InstructionPrependField
1341 sm86InstructionNaturalTwentyFour
1342 sm86InstructionNaturalEight
1343 (sm86RegisterNatural address)
1344 (sm86InstructionPrependField
1345 sm86InstructionNaturalForty
1346 sm86InstructionNaturalTwentyFour
1347 (sm86Unsigned32Natural offset)
1348 (sm86InstructionOneField
1349 sm86InstructionNaturalSeventyTwo
1350 sm86InstructionNaturalEight
1351 (byte-to-nat (byte 72))))))))))))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.