[BUG] GPIO: irq: no irq domain found for

[Jean-Christophe PLAGNIOL-VILLARD]

Hi,

	I'm currently adding the ks8851-ml support to a at91 board

	On this board we use a gpio as interrupt but I found an issue

	when populating the platfomr devices we try found the virq for the
	ks8851 but the irq domain is not yet present as the gpio driver (a
	platform device is not probed) so we get this

	irq: no irq domain found for /ahb/apb/pinctrl at fffff400/gpio at fffffa00 !

	if we use a gpio irq for a i2c or spi devices it will work as the spi
	bus will be populate after the gpio driver will be probed

	Do you have any idea how can we delay the population of the
	ks8851 device? via -EPROBE_DEFER?

Best Regards,
J.