diff options
Diffstat (limited to 'drivers/arm/gic/gic_v3.c')
| -rw-r--r-- | drivers/arm/gic/gic_v3.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/drivers/arm/gic/gic_v3.c b/drivers/arm/gic/gic_v3.c index d658a61b..f4296629 100644 --- a/drivers/arm/gic/gic_v3.c +++ b/drivers/arm/gic/gic_v3.c @@ -28,11 +28,9 @@ * POSSIBILITY OF SUCH DAMAGE. */ -#include <stdint.h> #include <arch.h> -#include <platform.h> -#include <gic_v3.h> #include <debug.h> +#include <gic_v3.h> uintptr_t gicv3_get_rdist(uintptr_t gicr_base, uint64_t mpidr) { |