else if (res->id == ACPI_RSTYPE_IRQ) 
else if (res->type == ACPI_RSTYPE_IRQ) 
static acpi_status acpi_serial_resource(struct acpi_resource *res, void *data){	struct uart_port *port = (struct uart_port *) data;	struct acpi_resource_address64 addr;	acpi_status status;	status = acpi_resource_to_address64(res, &addr);	if (ACPI_SUCCESS(status))		return acpi_serial_mmio(port, &addr);	else if (res->id == ACPI_RSTYPE_IO)		return acpi_serial_port(port, &res->data.io);	else if (res->id == ACPI_RSTYPE_EXT_IRQ)		return acpi_serial_ext_irq(port, &res->data.extended_irq);	else if (res->id == ACPI_RSTYPE_IRQ)		return acpi_serial_irq(port, &res->data.irq);	return AE_OK;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/378b2556f4e09fa6f87ff0cb5c4395ff28257d02/8250_acpi.c/buggy/drivers/serial/8250_acpi.c