kern/121558: Supermicro X7SB4 Fatal trap 12 when ACPI disabled

[Leon Kos]

The following reply was made to PR kern/121558; it has been noted by GNATS.

From: Leon Kos <leon.kos at lecad.uni-lj.si>
To: John Baldwin <jhb at freebsd.org>
Cc: freebsd-acpi at freebsd.org, bug-followup at freebsd.org
Subject: Re: kern/121558: Supermicro X7SB4 Fatal trap 12 when ACPI disabled
Date: Wed, 12 Mar 2008 09:14:28 +0100 (CET)

 I have added
 
   hw.pci13.0.INTA.irq="16"
   hw.pci15.0.INTA.irq="17"
   hw.pci5.0.INTA.irq="19"
 
 to /boot/loader.conf and to /boot/device.hints without and face no effect
 of this options when looking mptable. Then I've created CAD.hints
   hw.pci13.0.INTA.irq=16
   hw.pci15.0.INTA.irq=17
   hw.pci5.0.INTA.irq=19
 
 and included this in my kernel config with 
 hints          "CAD.hints"
 
 Now this kernel does not boot. So there is some progress in this. I've also 
 tried to prepend hint. to options without notable difference. So I suspect, 
 that adding hints to the kernel works, just the config is wrong. I've 
 created dmesg of boot -v at
 
 http://www.lecad.uni-lj.si/~leon/other/x7sb4/boot-v.txt
 
 if it is of any value for a more precise instructions on the above settings. 
 Kernel that does not boot with the above settings outputs just a single
 | after a screen blink.
 
 Thank you for all suggestions so far!
 
 Leon Kos, CAD lab, Mech.Eng., University of Ljubljana, Slovenia
 (http://www.lecad.uni-lj.si/~leon)
 
 
 On Tue, 11 Mar 2008, John Baldwin wrote:
 
 > On Tuesday 11 March 2008 09:50:03 am Leon Kos wrote:
 >> The following reply was made to PR kern/121558; it has been noted by GNATS.
 >>
 >> From: Leon Kos <leon.kos at lecad.uni-lj.si>
 >> To: Dan Lukes <dan at obluda.cz>
 >> Cc: freebsd-acpi at freebsd.org, bug-followup at freebsd.org
 >> Subject: Re: kern/121558: Supermicro X7SB4 Fatal trap 12 when ACPI disabled
 >> Date: Tue, 11 Mar 2008 14:45:40 +0100 (CET)
 >>
 >>  mptable output of the system is located at:
 >>  http://www.lecad.uni-lj.si/~leon/other/x7sb4/mptable.txt
 >
 > Your MPTable is broken.  It has 3 entries which use an I/O APIC ID of 0, but
 > you don't have an I/O APIC with an ID of 0:
 >
 > I/O APICs:	APIC ID	Version	State		Address
 > 		 2	 0x20	 usable		 0xfec00000
 > 		 3	 0x20	 usable		 0xfecc0000
 > 		 4	 0x20	 usable		 0xfecc0400
 >
 > --
 > I/O Ints:	Type	Polarity    Trigger	Bus ID	 IRQ	APIC ID	PIN#
 > ...
 > 		INT	active-lo       level	    13	 0:A	      0	  16
 > 		INT	active-lo       level	    15	 0:A	      0	  17
 > 		INT	active-lo       level	     5	 0:A	      0	  19
 >
 > You can work around this by manually specifying the routing for these devices
 > with hints.  E.g. to use I/O APIC 2, you would do:
 >
 > hw.pci13.0.INTA.irq=16
 > hw.pci15.0.INTA.irq=17
 > hw.pci5.0.INTA.irq=19
 >
 > To use one of the other I/O APICs you will need to examine the dmesg to find
 > the first IRQ for the I/O APIC (boot verbose might help) and add that to 16,
 > 17, 19, etc. to come up with the appropriate IRQ number.
 >
 > In this case after looking at your dmesg, the BIOS uses the same GSI layout
 > for the I/O APICs that FreeBSD's MP Table code uses, so you can just use the
 > IRQs from the ACPI kernel.  From your dmesg ACPI is using the settings above
 > (i.e. all 3 devices are using I/O APIC 2).
 >
 > --
 > John Baldwin
 >