On Mon, Jun 20, 2016 at 8:49 AM, Jon Hunter <[email protected]> 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 <[email protected]>
Applied, thanks. Rob
