On Mon, 2016-06-20 at 17:06 +0100, James Morse wrote: > --- a/arch/arm64/kernel/machine_kexec.c > > +++ b/arch/arm64/kernel/machine_kexec.c > > @@ -11,6 +11,7 @@ > > > > #include > > #include > > +#include > > Now that the get_user(maybe_dtb_addr,.. has gone, I don't think we need this header. No, we don't. I have already fixed that in my master branch. > > > > #include > > #include > > > Reviewed-by: James Morse <james.morse at arm.com> Thanks again. -Geoff
