irq-gic.c 21.2 KB