/* Disable all global interrupts */
for ( i = 32; i < nr_lines; i += 32 )
+ {
writel_gicd(~0x0, GICD_ICENABLER + (i / 32) * 4);
+ writel_gicd(~0x0, GICD_ICACTIVER + (i / 32) * 4);
+ }
/* Turn on the distributor */
writel_gicd(GICD_CTL_ENABLE, GICD_CTLR);
/* The first 32 interrupts (PPI and SGI) are banked per-cpu, so
* even though they are controlled with GICD registers, they must
* be set up here with the other per-cpu state. */
+ writel_gicd(0xffffffff, GICD_ICACTIVER); /* Diactivate PPIs and SGIs */
writel_gicd(0xffff0000, GICD_ICENABLER); /* Disable all PPI */
writel_gicd(0x0000ffff, GICD_ISENABLER); /* Enable all SGI */