Assertion: interrupt's address | /r/HasProperty | recorded into register r11
Facets:
Source sentences:
text: To allow the handler to be relocatable, the current address pointed to by the pc is recorded into register r11.