Home
last modified time | relevance | path

Searched refs:plat_marvell_gic_driver_init (Results 1 – 4 of 4) sorted by relevance

/external/arm-trusted-firmware/plat/marvell/armada/common/
Dmarvell_gicv3.c23 #pragma weak plat_marvell_gic_driver_init macro
74 void plat_marvell_gic_driver_init(void) in plat_marvell_gic_driver_init() function
Dmarvell_gicv2.c23 #pragma weak plat_marvell_gic_driver_init macro
69 void plat_marvell_gic_driver_init(void) in plat_marvell_gic_driver_init() function
Dmarvell_bl31_setup.c166 plat_marvell_gic_driver_init(); in marvell_bl31_platform_setup()
/external/arm-trusted-firmware/include/plat/marvell/armada/common/
Dmarvell_plat_priv.h24 void plat_marvell_gic_driver_init(void);