Smrnmi Extension

1 instructions in the Smrnmi extension.

• mnret — Machine mode resume from the RNMI or Double Trap handler