Assertion: interrupt's address | /r/HasProperty | saved in the eax register
Facets:
value: after saving the registers
type: TEMPORAL
Source sentences:
text: After saving the registers, the address of the current top stack location is saved in the eax register; then, the interrupt handler invokes the do_IRQ( ) function.