[<prev] [next>] [day] [month] [year] [list]
Message-ID: <CAKhuMPm1qG-t93+TOi1xHDDnV2Gm-DqR4JQEZDuGZPyqzWejkw@mail.gmail.com>
Date: Tue, 6 Nov 2012 10:30:44 +0800
From: WANG Siyuan <wangsiyuanbuaa@...il.com>
To: linux-kernel@...r.kernel.org, linux-acpi@...r.kernel.org
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
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists