Nariman Poushin | 0ece80f | 2018-02-26 06:52:04 +0000 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2018, ARM Limited and Contributors. All rights reserved. |
| 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | */ |
| 6 | |
| 7 | #include <sgi_plat_config.h> |
| 8 | |
| 9 | void plat_arm_gic_driver_init(void) |
| 10 | { |
| 11 | /* |
| 12 | * The GICv3 driver is initialized in EL3 and does not need |
| 13 | * to be initialized again in S-EL1. This is because the S-EL1 |
| 14 | * can use GIC system registers to manage interrupts and does |
| 15 | * not need GIC interface base addresses to be configured. |
| 16 | */ |
| 17 | gicv3_driver_init(get_plat_config()->gic_data); |
| 18 | } |