On Thu, Jun 27, 2013 at 08:58:37AM +0900, Magnus Damm wrote: > +#include <linux/smp.h> > +#include <linux/irqchip/arm-gic.h> > +#include <asm/cacheflush.h> > +#include <asm/io.h> Please always use linux/io.h