> >
> > Any specific reason for missing entries in device node structures?
> >
> > Since you explored other ARM boards, is this interrupts field used and
> > tested?

What tree do you have your work based on top of?  

Do you have the irq_domain patch applied?  

If so, then the problem is most likely that an
irq_domain has not been registered for the OMAP interrupt controller
(which is not surprising since the gic has not been converted to use
irq_domain yet).  There are patches that have been posted to the list
to do so, but they are not finished yet.  

In the mean time you can use
irq_domain_generate_simple() to create an irq_domain registration for
the OMAP that will get you past this step.

Search the devicetree/test branch for irq_domain_generate_simple() to
see how to use it.