Assertion: interrupt's address | /r/HasProperty | copied into register
Facets:
Source sentences:
text: The base address for the interrupt controller is copied into register r14_irq and is used to obtain the IRQEnable register in the controller and place it into register r12.