Messages in this thread | | | From | WANG Siyuan <> | Date | Tue, 6 Nov 2012 10:30:44 +0800 | Subject | firmware issue: do_IRQ: X 55 No irq handler for vector (irq -1) |
| |
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
| |