- external chip's interrupt line connected to the xps_intc.
- the irq configured to rising edge.
- petalinux v0.3 running on the microblaze.
- driver registered to this irq
The external chip is generating an interrupt every second (if its interrupt is cleared onchip).
The driver once done with the interrupt handling clears the interrupt on the chip.
Expected behavior is a call to the driver every second, however
after couple of interrupts (~1-20) the driver is not called any more even though the external chip generated an interrupt.
It has been verified with a counter that every time the driver is not called the counter - (corresponding counter in /proc/interrupts) is increased by 1.
The interrupt handler in the driver only schedules the bottom half (which is responsible for clearing the interrupt) then returns with IRQ_HANDLED. The bottom half runs within 1s although it does't matter when the interrupt is cleared onchip.