diff options
Diffstat (limited to 'xen/arch/arm/vgic.c')
| -rw-r--r-- | xen/arch/arm/vgic.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/xen/arch/arm/vgic.c b/xen/arch/arm/vgic.c index 3f7e757a08..7d1a5adaeb 100644 --- a/xen/arch/arm/vgic.c +++ b/xen/arch/arm/vgic.c @@ -27,7 +27,7 @@ #include <asm/current.h> #include "io.h" -#include "gic.h" +#include <asm/gic.h> #define VGIC_DISTR_BASE_ADDRESS 0x000000002c001000 |