Searched refs:bl31_plat_set_secondary_cpu_entrypoint (Results 1 – 3 of 3) sorted by relevance
254 void bl31_plat_set_secondary_cpu_entrypoint(unsigned int cpu_id);
89 bl31_plat_set_secondary_cpu_entrypoint(cpu_id); in socfpga_pwr_domain_on()
256 void bl31_plat_set_secondary_cpu_entrypoint(unsigned int cpu_id) in bl31_plat_set_secondary_cpu_entrypoint() function