[Xenomai] ipipe bug in gpio/irq for mx6

[Johann Obermayr <johann.obermayr@sigmatek.at>]

Hello,

in the the git branch ipipe-3.0-imx6q
in the file arch/arm/plat-mxc/gpio.c

there is follow function.

void __ipipe_mach_enable_irqdesc(struct ipipe_domain *ipd, unsigned irq)
{
     struct irq_desc *desc = irq_to_desc(irq);
     struct irq_data *idata = irq_desc_get_irq_data(desc);
     struct irq_chip *chip = irq_data_get_irq_chip(idata);

     if (chip == &gpio_irq_chip) {
         /* It is a gpio. */
         u32 gpio = irq_to_gpio(irq);
         struct mxc_gpio_port *port = &mxc_gpio_ports[gpio / 32];

         if (ipd != &ipipe_root) {
             port->nonroot_gpios |= (1 << (gpio % 32));
             if (port->nonroot_gpios == (1 << (gpio % 32))) {
                 __ipipe_irqbits[(port->irq / 32)]
                     &= ~(1 << (port->irq % 32));
                 set_irq_prio(port->irq, 1);
             }
         }
     } else
         set_irq_prio(irq, ipd != &ipipe_root);
}

But there is missing  set_irq_prio for the port->irq_high.
to add
                 if (port->irq_high > 0)
                     set_irq_prio(port->irq_high, 1);
is not my problem.

my problem is, that i don't known if  __ipipe_irqbits is handled correct.

regards
   Johann