1462def sm86EncodeLoadShared =
1463 (lambda unrestricted guard : (family SM86InstructionGuard) .
1464 (lambda unrestricted destination : (family SM86Register) .
1465 (lambda unrestricted address : (family SM86Register) .
1466 (lambda unrestricted offset : (family SM86Unsigned32) .
1467 (lambda unrestricted control : (family SM86Control) .
1468 (sm86EncodeInstructionFields
1469 sm86OpcodeLoadShared
1470 guard
1471 control
1472 (sm86InstructionPrependField
1473 sm86InstructionNaturalSixteen
1474 sm86InstructionNaturalEight
1475 (sm86RegisterNatural destination)
1476 (sm86InstructionPrependField
1477 sm86InstructionNaturalTwentyFour
1478 sm86InstructionNaturalEight
1479 (sm86RegisterNatural address)
1480 (sm86InstructionPrependField
1481 sm86InstructionNaturalForty
1482 sm86InstructionNaturalTwentyFour
1483 (sm86Unsigned32Natural offset)
1484 (sm86InstructionOneField
1485 sm86InstructionNaturalSeventyTwo
1486 sm86InstructionNaturalEight
1487 (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.