diff options
Diffstat (limited to 'plat/mediatek/mt8173/bl31_plat_setup.c')
-rw-r--r-- | plat/mediatek/mt8173/bl31_plat_setup.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/plat/mediatek/mt8173/bl31_plat_setup.c b/plat/mediatek/mt8173/bl31_plat_setup.c index fa6e00df..92c3494e 100644 --- a/plat/mediatek/mt8173/bl31_plat_setup.c +++ b/plat/mediatek/mt8173/bl31_plat_setup.c @@ -27,7 +27,6 @@ * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE * POSSIBILITY OF SUCH DAMAGE. */ -#include <arm_gic.h> #include <assert.h> #include <bl_common.h> #include <common_def.h> @@ -37,6 +36,7 @@ #include <mcucfg.h> #include <mmio.h> #include <mtcmos.h> +#include <plat_arm.h> #include <plat_private.h> #include <platform.h> #include <spm.h> @@ -159,8 +159,8 @@ void bl31_platform_setup(void) generic_delay_timer_init(); /* Initialize the gic cpu and distributor interfaces */ - plat_mt_gic_init(); - arm_gic_setup(); + plat_arm_gic_driver_init(); + plat_arm_gic_init(); #if ENABLE_PLAT_COMPAT /* Topologies are best known to the platform. */ |