unsigned int acpi_register_gsi(u32 gsi, int edge_level, int active_high_low) 
int acpi_register_gsi(u32 gsi, int edge_level, int active_high_low) 
unsigned int acpi_register_gsi(u32 gsi, int edge_level, int active_high_low){	unsigned int irq;	unsigned int plat_gsi = gsi;#ifdef CONFIG_PCI	/*	 * Make sure all (legacy) PCI IRQs are set as level-triggered.	 */	if (acpi_irq_model == ACPI_IRQ_MODEL_PIC) {		extern void eisa_set_level_irq(unsigned int irq);		if (edge_level == ACPI_LEVEL_SENSITIVE)				eisa_set_level_irq(gsi);	}#endif#ifdef CONFIG_X86_IO_APIC	if (acpi_irq_model == ACPI_IRQ_MODEL_IOAPIC) {		plat_gsi = mp_register_gsi(gsi, edge_level, active_high_low);	}#endif	acpi_gsi_to_irq(plat_gsi, &irq);	return irq;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/1f3a6a15771ed70d3b2581663dcc6b9bc134baa5/boot.c/buggy/arch/i386/kernel/acpi/boot.c