Smrnmi Extension

1 instructions and 0 pseudo-instructions in the Smrnmi extension.

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