uint32_t vec_no; /* Interrupt vector number. */
/* Sometimes pushed by the CPU,
- otherwise by intrXX_stub for consistency. */
+ otherwise for consistency pushed as 0 by intrXX_stub. */
uint32_t error_code; /* Error code. */
/* Pushed by the CPU.
These are the interrupted task's saved registers. */
- void (*eip) (void); /* Current or next instruction. */
+ void (*eip) (void); /* Next instruction to execute. */
uint16_t cs, :16; /* Code segment for eip. */
uint32_t eflags; /* Saved CPU flags. */
void *esp; /* Saved stack pointer. */