1382def sm86EncodeLoadShared =
1383 (lambda unrestricted guard : (family SM86InstructionGuard) .
1384 (lambda unrestricted destination : (family SM86Register) .
1385 (lambda unrestricted address : (family SM86Register) .
1386 (lambda unrestricted offset : (family SM86Unsigned32) .
1387 (lambda unrestricted control : (family SM86Control) .
1388 (sm86EncodeInstructionFields
1389 sm86OpcodeLoadShared
1390 guard
1391 control
1392 (sm86InstructionPrependField
1393 sm86InstructionNaturalSixteen
1394 sm86InstructionNaturalEight
1395 (sm86RegisterNatural destination)
1396 (sm86InstructionPrependField
1397 sm86InstructionNaturalTwentyFour
1398 sm86InstructionNaturalEight
1399 (sm86RegisterNatural address)
1400 (sm86InstructionPrependField
1401 sm86InstructionNaturalForty
1402 sm86InstructionNaturalTwentyFour
1403 (sm86Unsigned32Natural offset)
1404 (sm86InstructionOneField
1405 sm86InstructionNaturalSeventyTwo
1406 sm86InstructionNaturalEight
1407 (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.