From c0741e762a952273ed29647f2945b110b2e95440 Mon Sep 17 00:00:00 2001
From: Mark Kettenis <kettenis@cvs.openbsd.org>
Date: Sun, 14 May 2006 19:07:47 +0000
Subject: Bring over workaround for broken BIOSes that use ACPI global
 interrupt numbers instead of APIC pin numbers from amd64. ok brad@

---
 sys/arch/i386/i386/mpbios.c | 21 +++++++++++++++++++--
 1 file changed, 19 insertions(+), 2 deletions(-)

diff --git a/sys/arch/i386/i386/mpbios.c b/sys/arch/i386/i386/mpbios.c
index dc84748df6d..e8ea8569f07 100644
--- a/sys/arch/i386/i386/mpbios.c
+++ b/sys/arch/i386/i386/mpbios.c
@@ -1,4 +1,4 @@
-/*	$OpenBSD: mpbios.c,v 1.12 2006/05/09 18:41:22 kettenis Exp $	*/
+/*	$OpenBSD: mpbios.c,v 1.13 2006/05/14 19:07:46 kettenis Exp $	*/
 /*	$NetBSD: mpbios.c,v 1.2 2002/10/01 12:56:57 fvdl Exp $	*/
 
 /*-
@@ -1078,7 +1078,7 @@ mpbios_int(ent, mpi)
 {
 	const struct mpbios_int *entry = (const struct mpbios_int *)ent;
 	struct mpbios_int rw_entry = *entry;
-	struct ioapic_softc *sc = NULL;
+	struct ioapic_softc *sc = NULL, *sc2;
 
 	struct mp_intr_map *altmpi;
 	struct mp_bus *mpb;
@@ -1130,6 +1130,23 @@ mpbios_int(ent, mpi)
 			return (1);
 		}
 
+		/*
+		 * XXX workaround for broken BIOSs that put the ACPI
+		 * global interrupt number in the entry, not the pin
+		 * number.
+		 */
+		if (pin >= sc->sc_apic_sz) {
+			sc2 = ioapic_find_bybase(pin);
+			if (sc2 != sc) {
+				printf("mpbios: bad pin %d for apic %d\n",
+				    pin, id);
+				return (1);
+			}
+			printf("mpbios: WARNING: pin %d for apic %d too high; "
+			       "assuming ACPI global int value\n", pin, id);
+			pin -= sc->sc_apic_vecbase;
+		}
+
 		mpi->ioapic = sc;
 		mpi->ioapic_pin = pin;
 
-- 
cgit v1.2.3