irq-gic.c 35.8 KB