On Nov 9, 2007 3:54 PM, Jan Kiszka <[EMAIL PROTECTED]> wrote:
> Gilles Chanteperdrix wrote:
> > On Nov 9, 2007 3:16 PM, Giammarco Zacheo <[EMAIL PROTECTED]> wrote:
> >> Processors: 4
> >> SMP alternatives: switching to UP code
> >
> > There is something wrong: why is the kernel switching to UP mode if
> > there are four processors ?
>
> No, that is normal (given X86-generic setup):
>
> ...
> SMP alternatives: switching to UP code
> ACPI: Core revision 20070126
> Using local APIC timer interrupts.
> result 10390606
> Detected 10.390 MHz APIC timer.
> SMP alternatives: switching to SMP code
> ...
It really looks like mask_ack_irq is finding a null pointer somewhere.
maybe desc->irq->mask or desc->irq->ack ?
--
Gilles Chanteperdrix
_______________________________________________
Xenomai-help mailing list
[email protected]
https://mail.gna.org/listinfo/xenomai-help
