On 2013-02-19 19:48, Jan Kiszka wrote:
> On 2013-02-19 13:05, Jan Kiszka wrote:
>> On 2013-02-19 12:22, Manuel Huber wrote:
>>> Thanks for your reply and sorry for the delay ;)
>>> I have tried disabling the options and attached the logs. It still fails :(
>>>
>>> I hope it's okay to attach so many files... I can also add the config
>>> files for
>>> every build if that helps.
>>
>> I'll try your config later, though in a different environment. If I'm
>> unable to reproduce, I'll provide further instrumentation suggestions.
>
> No luck in reproducing, even with enforced IRQ7 injection. I suppose
> there are more factors influencing this. Again my question: any
> indication on normal Linux kernels that there are spurious IRQs? What is
> associated with IRQ7 on your system?
Please also try this instrumentation and report back what the kernel
dumps to the console:
diff --git a/arch/x86/kernel/smpboot.c b/arch/x86/kernel/smpboot.c
index 41196d2..39175e6 100644
--- a/arch/x86/kernel/smpboot.c
+++ b/arch/x86/kernel/smpboot.c
@@ -194,6 +194,7 @@ static void __cpuinit smp_callin(void)
* Need to setup vector mappings before we enable interrupts.
*/
setup_vector_irq(smp_processor_id());
+ printk("vector_irq[0x37] = %d\n", __this_cpu_read(vector_irq[0x37]));
/*
* Save our processor parameters. Note: this information
@@ -249,6 +250,7 @@ static void __cpuinit start_secondary(void *unused)
/* otherwise gcc will move up smp_processor_id before the cpu_init */
barrier();
+ printk("vector_irq[0x37] = %d\n", __this_cpu_read(vector_irq[0x37]));
/*
* Check TSC synchronization with the BP:
*/
@@ -274,6 +276,7 @@ static void __cpuinit start_secondary(void *unused)
per_cpu(cpu_state, smp_processor_id()) = CPU_ONLINE;
x86_platform.nmi_init();
+ printk("vector_irq[0x37] = %d\n", __this_cpu_read(vector_irq[0x37]));
/* enable local interrupts */
local_irq_enable();
Thanks,
Jan
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 263 bytes
Desc: OpenPGP digital signature
URL:
<http://www.xenomai.org/pipermail/xenomai/attachments/20130219/b28b8b1d/attachment.pgp>
_______________________________________________
Xenomai mailing list
[email protected]
http://www.xenomai.org/mailman/listinfo/xenomai
