// Simulate an interrupt occurrence uint32_t interrupt_number = 0; void (*isr_ptr)(void) = (void (*)(void))ivt.isr_addr[interrupt_number]; isr_ptr(); // Execute the ISR
void ivthandleinterrupt(unsigned int irq_number); ivthandleinterrupt
The interrupt had been handled.
It happened just as the robot’s gripper closed. The gripper sensor fired Interrupt 0x22. Simultaneously, the Wi-Fi chip fired Interrupt 0x05 (a packet arrival). ivthandleinterrupt
Elias stepped through the code. ivtHandleInterrupt pushed the current registers onto the stack to save the CPU's state (the "Context"). It called the handler. The handler read the temperature. It returned. ivtHandleInterrupt popped the registers back. ivthandleinterrupt