[coreboot] IRQ 9 on s2895 and s2892

[Rudolf Marek]

Hi,

> All of the other interrupts from 0x0-0xf are set as Edge triggered in
> the mptable, so that seems likely.

Fine. Second reason might be that the ExtInt pin is wrong for the APIC. I mean 
it is set wrongly. To which pin sets the original BIOS the ExtInt IRQ?

>> Can you dump here the 0x4d0 and 0x4d1 so we can check how the level/trigger
>> is set.
> 
> Again I'm ignorant.  How do I dump those values?

You arent, its important to ask!

#isadump  -f 0x4d0

you should see the two bytes decoding at 0x4d0 and 0x4d1.

bit0 at 0x4d0 is IRQ0, bit7 is IRQ7

0 is level
1 is edge

This is set by linux.


Rudolf