1762def sm86EncodeExit =
1763 (lambda unrestricted guard : (family SM86InstructionGuard) .
1764 (lambda unrestricted control : (family SM86Control) .
1765 (sm86EncodeInstructionFields
1766 sm86OpcodeExit
1767 guard
1768 control
1769 (sm86InstructionOneWord32Field
1770 sm86InstructionNaturalSixtyFour
1771 (constructor SM86Unsigned32 SM86Unsigned32Value (byte 0) (byte 0) (byte 128) (byte 3))))))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.