24 	int gsi, trigger;  in arm_pmu_acpi_register_irq()  local
30 	gsi = gicc->performance_interrupt;  in arm_pmu_acpi_register_irq()
39 	if (!gsi)  in arm_pmu_acpi_register_irq()
58 	return acpi_register_gsi(NULL, gsi, trigger, ACPI_ACTIVE_HIGH);  in arm_pmu_acpi_register_irq()
64 	int gsi;  in arm_pmu_acpi_unregister_irq()  local
70 	gsi = gicc->performance_interrupt;  in arm_pmu_acpi_unregister_irq()
71 	acpi_unregister_gsi(gsi);  in arm_pmu_acpi_unregister_irq()
98 	u16 gsi = 0;  in arm_spe_acpi_register_device()  local
112 			gsi = gicc->spe_interrupt;  in arm_spe_acpi_register_device()
113 			if (!gsi)  in arm_spe_acpi_register_device()
117 		} else if ((gsi != gicc->spe_interrupt) ||  in arm_spe_acpi_register_device()
124 	irq = acpi_register_gsi(NULL, gsi, ACPI_LEVEL_SENSITIVE,  in arm_spe_acpi_register_device()
127 		pr_warn("ACPI: SPE Unable to register interrupt: %d\n", gsi);  in arm_spe_acpi_register_device()
135 		acpi_unregister_gsi(gsi);  in arm_spe_acpi_register_device()