firmware issue: do_IRQ: X 55 No irq handler for vector (irq -1)

[WANG Siyuan]

Hi,
Firstly, this is a coreboot issue rather than kernel issue. I don't
know how to deal with it so come here to ask for help.

I am debugging coreboot which is an open source bios on a mainboard now.
the mainboard is tyan s8226, which has two CPUs and each CPU has 8 cores.
the details of s8226 could be googled. I can't insert link.

I encountered a problem these days. The dmesg has such error:

do_IRQ: X 55 No irq handler for vector (irq -1)
where X is from 1 to 10

this message is printed by do_IRQ() in arch/x86/kernel/irq.c

this is my coreboot issue, because other bios doesn't have this dmesg error.
it seems that this error has no effect to the system. Linux works well
now. But I want to resolve this issue.

I am not familiar with linux kernel, so I don't know how to locate the problem.
would anybody give me some suggestion?
thank you!
I can't send the whole dmesg, because it is rejected. I don't know why.

--
WANG Siyuan
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/