1405def sm86EncodeStoreShared =
1406 (lambda unrestricted guard : (family SM86InstructionGuard) .
1407 (lambda unrestricted address : (family SM86Register) .
1408 (lambda unrestricted value : (family SM86Register) .
1409 (lambda unrestricted offset : (family SM86Unsigned32) .
1410 (lambda unrestricted control : (family SM86Control) .
1411 (sm86EncodeInstructionFields
1412 sm86OpcodeStoreShared
1413 guard
1414 control
1415 (sm86InstructionPrependField
1416 sm86InstructionNaturalTwentyFour
1417 sm86InstructionNaturalEight
1418 (sm86RegisterNatural address)
1419 (sm86InstructionPrependField
1420 sm86InstructionNaturalThirtyTwo
1421 sm86InstructionNaturalEight
1422 (sm86RegisterNatural value)
1423 (sm86InstructionPrependField
1424 sm86InstructionNaturalForty
1425 sm86InstructionNaturalTwentyFour
1426 (sm86Unsigned32Natural offset)
1427 (sm86InstructionOneField
1428 sm86InstructionNaturalSeventyTwo
1429 sm86InstructionNaturalEight
1430 (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.