saved_ppi_enable   80 drivers/irqchip/irq-gic.c 	u32 __percpu *saved_ppi_enable;
saved_ppi_enable  678 drivers/irqchip/irq-gic.c 	ptr = raw_cpu_ptr(gic->saved_ppi_enable);
saved_ppi_enable  708 drivers/irqchip/irq-gic.c 	ptr = raw_cpu_ptr(gic->saved_ppi_enable);
saved_ppi_enable  771 drivers/irqchip/irq-gic.c 	gic->saved_ppi_enable = __alloc_percpu(DIV_ROUND_UP(32, 32) * 4,
saved_ppi_enable  773 drivers/irqchip/irq-gic.c 	if (WARN_ON(!gic->saved_ppi_enable))
saved_ppi_enable  794 drivers/irqchip/irq-gic.c 	free_percpu(gic->saved_ppi_enable);