diff options
Diffstat (limited to 'xen/arch/arm/domain.c')
-rw-r--r-- | xen/arch/arm/domain.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/xen/arch/arm/domain.c b/xen/arch/arm/domain.c index 7bbad45553..2ad5c9063e 100644 --- a/xen/arch/arm/domain.c +++ b/xen/arch/arm/domain.c @@ -12,7 +12,7 @@ #include <asm/p2m.h> #include <asm/irq.h> -#include "gic.h" +#include <asm/gic.h> #include "vtimer.h" #include "vpl011.h" |