On Tue, 2007-05-08 at 14:38 +0200, M. Koehrer wrote:
> Hi Philippe,
> 
> perhaps one more information regarding that issue: 
> When I disable SMP, it seems to work fine (APIC and local APIC are enabled).

This should improve things:

--- a/arch/i386/kernel/ipipe.c
+++ b/arch/i386/kernel/ipipe.c
@@ -373,7 +373,7 @@ int fastcall __ipipe_send_ipi (unsigned ipi, cpumask_t 
cpumask)
        cpu_clear(cpuid,cpumask);

        if (!cpus_empty(cpumask))
-               send_IPI_mask(cpumask,ipi + FIRST_EXTERNAL_VECTOR);
+               send_IPI_mask(cpumask,ipipe_apic_irq_vector(ipi));

        if (self)
                ipipe_trigger_irq(ipi);

-- 
Philippe.



_______________________________________________
Xenomai-help mailing list
[email protected]
https://mail.gna.org/listinfo/xenomai-help

Reply via email to