Basic NIOS II interrupt.

--- Quote Start ---

Search the headers for the definition of alt_isr_func, probably doesn't quite match the function you supplied.

Or my 'trick', add -E to the gcc command file and then open the .o file in a text editor and search through the pre-processed output.

(Might be difficult from the IDE)

--- Quote End ---

From alt_irq.h all I can see is this.

# ifdef ALT_ENHANCED_INTERRUPT_API_PRESENT

typedef void (*alt_isr_func)(void* isr_context);

# else

typedef void (*alt_isr_func)(void* isr_context, alt_u32 id);

# endif

Hmmm...