irq-gic.c 21.9 KB