irq-gic.c 21.8 KB