diff options
Diffstat (limited to 'xen/arch/arm/domain_build.c')
-rw-r--r-- | xen/arch/arm/domain_build.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/xen/arch/arm/domain_build.c b/xen/arch/arm/domain_build.c index 432fdc01c3..1e9776d597 100644 --- a/xen/arch/arm/domain_build.c +++ b/xen/arch/arm/domain_build.c @@ -11,7 +11,7 @@ #include <xen/libfdt/libfdt.h> #include <xen/guest_access.h> -#include "gic.h" +#include <asm/gic.h> #include "kernel.h" static unsigned int __initdata opt_dom0_max_vcpus; |