Home
last modified time | relevance | path

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

/trusted-firmware-a-latest/plat/intel/soc/common/include/
Dsocfpga_reset_manager.h251 void bl31_plat_set_secondary_cpu_entrypoint(unsigned int cpu_id);
/trusted-firmware-a-latest/plat/intel/soc/common/
Dsocfpga_psci.c74 bl31_plat_set_secondary_cpu_entrypoint(cpu_id); in socfpga_pwr_domain_on()
/trusted-firmware-a-latest/plat/intel/soc/agilex5/
Dbl31_plat_setup.c232 void bl31_plat_set_secondary_cpu_entrypoint(unsigned int cpu_id) in bl31_plat_set_secondary_cpu_entrypoint() function