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