Signed-off-by: Julien Grall <julien.grall@arm.com>
Reviewed-by: Andrii Anisov <andrii_anisov@epam.com>
Acked-by: Stefano Stabellini <sstabellini@kernel.org>
#include <asm/platform.h>
#include <asm/vgic.h>
#include <asm/vgic-emul.h>
+#include <asm/vreg.h>
static struct {
bool enabled;
#include <asm/gic_v3_its.h>
#include <asm/vgic.h>
#include <asm/vgic-emul.h>
+#include <asm/vreg.h>
/*
* Data structure to describe a virtual ITS.
#include <asm/pl011-uart.h>
#include <asm/vgic-emul.h>
#include <asm/vpl011.h>
+#include <asm/vreg.h>
/*
* Since pl011 registers are 32-bit registers, all registers
#include <xen/rbtree.h>
#include <asm/gic.h>
#include <asm/mmio.h>
-#include <asm/vreg.h>
struct pending_irq
{
#include <public/domctl.h>
#include <public/io/ring.h>
-#include <asm/vreg.h>
#include <xen/mm.h>
/* helper macros */