347
337
* Deal with the banked PPI and SGI interrupts - disable all
348
338
* PPI interrupts, ensure all SGI interrupts are enabled.
354
344
* Set priority on PPI and SGI interrupts
356
346
for (i = 0; i < 32; i += 4)
363
353
void __init gic_init(unsigned int gic_nr, unsigned int irq_start,