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
_______________________________________________
Xenomai mailing list
[email protected]
http://www.xenomai.org/mailman/listinfo/xenomai