/* Pointer to the handler for interrupt watchpoints */
/* FIXME: can this be done better? */
- /* NOTE, interrupt is passed in as the target of the pointer! */
+ /* NOTE: For the DATA arg, the handler is passed a (char**) pointer
+ that is an offset into the INTERRUPT_NAMES vector. Use
+ arithmetic to determine the interrupt-nr. */
sim_event_handler *interrupt_handler;
/* Pointer to a null terminated list of interrupt names */