On Mon, Nov 16, 2015 at 07:32:30PM +0100, Ard Biesheuvel wrote: > diff --git a/drivers/firmware/efi/arm-runtime.c b/drivers/firmware/efi/arm-runtime.c > index e62ee5df96ca..ad11ba6964f6 100644 > --- a/drivers/firmware/efi/arm-runtime.c > +++ b/drivers/firmware/efi/arm-runtime.c > @@ -23,18 +23,15 @@ > > #include <asm/cacheflush.h> > #include <asm/efi.h> > -#include <asm/tlbflush.h> > -#include <asm/mmu_context.h> > +#include <asm/io.h> Shouldn't this be linux/io.h ? -- FTTC broadband for 0.8mile line: currently at 9.6Mbps down 400kbps up according to speedtest.net. -- To unsubscribe from this list: send the line "unsubscribe linux-efi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html