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