free_ppi_enable   779 drivers/irqchip/irq-gic.c 		goto free_ppi_enable;
free_ppi_enable   793 drivers/irqchip/irq-gic.c free_ppi_enable: