On Wed, Oct 01, 2014 at 05:28:35PM +0200, Gilles Chanteperdrix wrote: > Do you use gpio_to_irq to obtain the irq number?
Yes. I tried doing request_irq from a dummy linux driver and I managed to get an interrupt. I can't seem to get xenomai to see the interrupt though. Hmm. I see this: root@len-rx1400:~# cat /proc/xenomai/irq IRQ CPU0 CPU1 30: 2294394 1660178 [timer] 398: 0 0 0000002d 1031: 0 0 [sync] 1032: 1 0 [timer-ipi] 1033: 531 1 [reschedule] 1034: 0 0 [virtual] 1038: 535719 531 [virtual] 398 is the IRQ for GPIO bank 7 pin 14. The linux driver test got an interrupt from the device on that pin, but when I use xenomai I am so far not getting the interrupt as far as I can tell. Maybe I should try and no longer call request_irq first. > Actually, it tells you that you called rt_intr_create from user-space, > which ends-up calling ipipe_set_irq_affinity, which is not happy because > it is not called from Linux domain. We modified ipipe_virtualize_irq to > avoid that (only checking for root domain when CONFIG_IPIPE_LEGACY is > not set), but we probably forgot the SMP case with ipipe_set_irq_affinity. Oh. Well if you have a patch I can test that. Or a suggestion for where to go and try to fix it. -- Len Sorensen _______________________________________________ Xenomai mailing list [email protected] http://www.xenomai.org/mailman/listinfo/xenomai
