Assertion: interrupt's address | /r/HasProperty | equal
Facets:
Source sentences:
text: If the two addresses are equal, the kernel is already using the hard IRQ stack, thus jumps to step 3.