On Thursday, April 18, 2013 12:41:53 pm Adrian Chadd wrote:
> 
> ... Why would it differ for the same machine, different kernel?

I can't tell you why, but if you compare the full dmesg's you will see
that several devices all changed their BIOS-assigned IRQs because the BIOS
decided to shuffle the IRQs assigned to the PCI links around.  That should
all be moot since you are using the APIC anyway.

-- 
John Baldwin
_______________________________________________
freebsd-current@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/freebsd-current
To unsubscribe, send any mail to "freebsd-current-unsubscr...@freebsd.org"

Reply via email to