saved_ppi_conf     82 drivers/irqchip/irq-gic.c 	u32 __percpu *saved_ppi_conf;
saved_ppi_conf    686 drivers/irqchip/irq-gic.c 	ptr = raw_cpu_ptr(gic->saved_ppi_conf);
saved_ppi_conf    722 drivers/irqchip/irq-gic.c 	ptr = raw_cpu_ptr(gic->saved_ppi_conf);
saved_ppi_conf    781 drivers/irqchip/irq-gic.c 	gic->saved_ppi_conf = __alloc_percpu(DIV_ROUND_UP(32, 16) * 4,
saved_ppi_conf    783 drivers/irqchip/irq-gic.c 	if (WARN_ON(!gic->saved_ppi_conf))