PERFORCE change 68769 for review

[John Baldwin]

http://perforce.freebsd.org/chv.cgi?CH=68769

Change 68769 by jhb at jhb_twclab on 2005/01/11 21:29:32

	Submit this hack that I have to carry around as a workaround for
	the broken BIOS on my quad xeon (it sets the IRQ for the mouse
	to 0 rather than 12).

Affected files ...

.. //depot/projects/smpng/sys/dev/acpica/acpi_resource.c#23 edit

Differences ...

==== //depot/projects/smpng/sys/dev/acpica/acpi_resource.c#23 (text+ko) ====

@@ -77,6 +77,12 @@
 	    req->counter++;
 	    break;
 	}
+	if (irq != rman_get_start(req->res && irq == 0)) {
+		if (bootverbose)
+			printf("IRQ is %u, resource is %lu\n", irq,
+			    rman_get_start(req->res));
+		return (AE_CTRL_TERMINATE);
+	}
 	req->found = 1;
 	KASSERT(irq == rman_get_start(req->res),
 	    ("IRQ resources do not match"));