saved_ppi_active   81 drivers/irqchip/irq-gic.c 	u32 __percpu *saved_ppi_active;
saved_ppi_active  682 drivers/irqchip/irq-gic.c 	ptr = raw_cpu_ptr(gic->saved_ppi_active);
saved_ppi_active  715 drivers/irqchip/irq-gic.c 	ptr = raw_cpu_ptr(gic->saved_ppi_active);
saved_ppi_active  776 drivers/irqchip/irq-gic.c 	gic->saved_ppi_active = __alloc_percpu(DIV_ROUND_UP(32, 32) * 4,
saved_ppi_active  778 drivers/irqchip/irq-gic.c 	if (WARN_ON(!gic->saved_ppi_active))
saved_ppi_active  792 drivers/irqchip/irq-gic.c 	free_percpu(gic->saved_ppi_active);