Go to the documentation of this file.
58 #ifndef INCLUDE_PIC32_IRQ_H_
59 #define INCLUDE_PIC32_IRQ_H_
71 #define TIMER_ISR(v) \
72 void __attribute__((vector(v), interrupt(ipl7))) isr_##v(void)
75 void __attribute__((vector(v), interrupt(ipl6))) isr_##v(void)