kernel/hw_exception_handler.S [563:570]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
		/* Done...restore registers and get out of here. */
		mts	rpid, r11
		nop
		bri 4

		RESTORE_STATE;
		rted	r17, 0
		nop
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



kernel/hw_exception_handler.S [780:786]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
		/* Done...restore registers and get out of here. */
		mts	rpid, r11
		nop
		bri 4
		RESTORE_STATE;
		rted	r17, 0
		nop
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



