73 unsigned int plat_get_syscnt_freq2(void)  in plat_get_syscnt_freq2()  argument
96 void soc_preload_setup(void)  in soc_preload_setup()  argument
100 void soc_early_init(void)  in soc_early_init()  argument
195 void soc_bl2_prepare_exit(void)  in soc_bl2_prepare_exit()  argument
205 enum boot_device get_boot_dev(void)  in get_boot_dev()  argument
242 void soc_mem_access(void)  in soc_mem_access()  argument
275 const unsigned char *plat_get_power_domain_tree_desc(void)  in plat_get_power_domain_tree_desc()  argument
306 void soc_early_platform_setup2(void)  in soc_early_platform_setup2()  argument
319 void soc_platform_setup(void)  in soc_platform_setup()  argument
340 void soc_init(void)  in soc_init()  argument
387 void soc_runtime_setup(void)  in soc_runtime_setup()  argument
395 unsigned int get_tot_num_cores(void)  in get_tot_num_cores()  argument
404 unsigned int get_pmu_idle_cluster_mask(void)  in get_pmu_idle_cluster_mask()  argument
413 unsigned int get_pmu_flush_cluster_mask(void)  in get_pmu_flush_cluster_mask()  argument
422 unsigned int get_pmu_idle_core_mask(void)  in get_pmu_idle_core_mask()  argument
428 unsigned int get_sys_clk(void)  in get_sys_clk()  argument