Re: [Xenomai] kernel BUG at arch/x86/kernel/ipipe.c:589! on motherboard DX79SI

[Jan Kiszka <jan.kiszka@siemens.com>]

On 2013-02-15 16:15, Anders Blomdell wrote:
> Hi,
> 
> I have a DX79SI that dies with "kernel BUG at
> arch/x86/kernel/ipipe.c:589!" when running Xenomai. This is not very
> surprising since when running the system with an ordinary kernel thera
> are a few 'do_IRQ: X.Y No irq handler for vector (irq -1)' each day.
> 
> Question is if it would be possible to do something less fatal than
> 'BUG_ON(irq < 0);' in the code below:

This remains a bug that has to be understood.

> 
> int __ipipe_handle_irq(struct pt_regs *regs)
> {
>     struct ipipe_percpu_data *p = __ipipe_this_cpu_ptr(&ipipe_percpu);
>     int irq, vector = regs->orig_ax, flags = 0;
>     struct pt_regs *tick_regs;
> 
>     if (likely(vector < 0)) {
>         irq = __this_cpu_read(vector_irq[~vector]);
>         BUG_ON(irq < 0);
>     } else { /* Software-generated. */
>         irq = vector;
>         flags = IPIPE_IRQF_NOACK;
>     }

Kernel 3.5.7 with latest I-pipe? This is the second report of this kind,
see [1] for the discussion and suggestions. If you don't have KGDB and
that kind enabled, try Gilles' instrumentations.

Jan

[1] http://thread.gmane.org/gmane.linux.real-time.xenomai.users/15936

-- 
Siemens AG, Corporate Technology, CT RTC ITP SDP-DE
Corporate Competence Center Embedded Linux