On Mon, Jun 20, 2016 at 8:49 AM, Jon Hunter <jonathanh@xxxxxxxxxx> wrote: > For interrupt controllers successfully initialised early via device-tree, > mark these interrupt controllers as populated so we don't unnecessarily > create a device and populate any platform data later on in the boot > sequence when we populate all the various platform devices. > > Signed-off-by: Jon Hunter <jonathanh@xxxxxxxxxx> Applied, thanks. Rob -- To unsubscribe from this list: send the line "unsubscribe devicetree" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
