Return specifications

Upon return from MIPR processing, you must ensure that the register contents are as follows: