Home
last modified time | relevance | path

Searched refs:versal_ipi_config_table_init (Results 1 – 3 of 3) sorted by relevance

/external/arm-trusted-firmware/plat/xilinx/versal/include/
Dplat_ipi.h53 void versal_ipi_config_table_init(void);
/external/arm-trusted-firmware/plat/xilinx/versal/
Dversal_ipi.c79 void versal_ipi_config_table_init(void) in versal_ipi_config_table_init() function
/external/arm-trusted-firmware/plat/xilinx/versal/aarch64/
Dversal_common.c45 versal_ipi_config_table_init(); in versal_config_setup()