free_ppi_active   784 drivers/irqchip/irq-gic.c 		goto free_ppi_active;
free_ppi_active   791 drivers/irqchip/irq-gic.c free_ppi_active: