Interrupt sources on raspberry pi 4

Hi, I am playing around with the 6.8 kernel code on a raspberry pi 4. Making small changes for learning and tinkering. I am trying to find out the source of an interrupt which happens thousands of times per second. I believe it could just be a timer. I assume that the kernel uses GIC rather than

gic interrupt 27 on arm64

Hi all, in the kernel I see the code below (file: arm64/dev/ampint.c lines:643-666). void ampintc_irq_handler(void *frame) { struct ampintc_softc *sc = ampintc; struct intrhand *ih; void *arg; uint32_t iack_val; int irq, pri, s, handled; iack_val = ampintc_iack(); #ifdef DEBUG_INTC if (iack_val !