The header asm/device.h has been included in the vgic code during
splitting to support multiple version. But no code within those files
requires it.
Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
#include <xen/sched.h>
#include <asm/current.h>
-#include <asm/device.h>
#include <asm/mmio.h>
#include <asm/gic.h>
#include <xen/sched.h>
#include <xen/sizes.h>
#include <asm/current.h>
-#include <asm/device.h>
#include <asm/mmio.h>
#include <asm/gic_v3_defs.h>
#include <asm/gic.h>