ichsmb SMB, interrupt, SMP

[Don Bowman]

I have a problem with an SMP 4.7 kernel with ichsmb. My
BIOS has not assigned an interrupt, so the kernel does
on startup:

ichsmb0: <Intel 82801CA (ICH3) SMBus controller> port 0x1100-0x111f irq 0 at
device 31.3 on pci0
pci_cfgintr_virgin: using routable interrupt 3
pci_cfgintr: 0:31 INTB routed to irq 3
smbus0: <System Management Bus> on ichsmb0
smb0: <SMBus general purpose I/O> on smbus0

however, I don't seem to ever get an interrupt to the ichsmb
driver.

I'm suspicious of the choice of irq 3 above, that's the edge
interrupt for the serial port, not a level PCI interrupt ???

Anybody seen anything similar? Any idea on how to choose
a proper interrupt for my system?

Interestingly with a non SMP kernel, the ichsmb works, so in
the non IO-APIC config a proper irq must be chosen(?)