1541def sm86EncodeStoreShared =
1542 (lambda unrestricted guard : (family SM86InstructionGuard) .
1543 (lambda unrestricted address : (family SM86Register) .
1544 (lambda unrestricted value : (family SM86Register) .
1545 (lambda unrestricted offset : (family SM86Unsigned32) .
1546 (lambda unrestricted control : (family SM86Control) .
1547 (sm86EncodeInstructionFields
1548 sm86OpcodeStoreShared
1549 guard
1550 control
1551 (sm86InstructionPrependField
1552 sm86InstructionNaturalTwentyFour
1553 sm86InstructionNaturalEight
1554 (sm86RegisterNatural address)
1555 (sm86InstructionPrependField
1556 sm86InstructionNaturalThirtyTwo
1557 sm86InstructionNaturalEight
1558 (sm86RegisterNatural value)
1559 (sm86InstructionPrependField
1560 sm86InstructionNaturalForty
1561 sm86InstructionNaturalTwentyFour
1562 (sm86Unsigned32Natural offset)
1563 (sm86InstructionOneField
1564 sm86InstructionNaturalSeventyTwo
1565 sm86InstructionNaturalEight
1566 (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.