diff options
Diffstat (limited to 'drivers/arm/gic/gic_v3.c')
| -rw-r--r-- | drivers/arm/gic/gic_v3.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/drivers/arm/gic/gic_v3.c b/drivers/arm/gic/gic_v3.c index b7db1f0..d658a61 100644 --- a/drivers/arm/gic/gic_v3.c +++ b/drivers/arm/gic/gic_v3.c @@ -31,7 +31,6 @@ #include <stdint.h> #include <arch.h> #include <platform.h> -#include <gic.h> #include <gic_v3.h> #include <debug.h> |