Home
last modified time | relevance | path

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

/trusted-firmware-a-latest/plat/marvell/armada/common/mss/
Dmss_scp_bootloader.h15 uint32_t bl2_plat_get_cp_count(int ap_idx);
Dmss_scp_bootloader.c258 if (bl2_plat_get_cp_count(ap_idx) <= cp_index) { in load_img_to_cm3()
281 if (bl2_plat_get_cp_count(0) <= cp_index) { in load_img_to_cm3()
/trusted-firmware-a-latest/plat/marvell/armada/a8k/common/mss/
Dmss_bl2_setup.c137 uint32_t bl2_plat_get_cp_count(int ap_idx) in bl2_plat_get_cp_count() function