Lines Matching defs:void

73 unsigned int plat_get_syscnt_freq2(void)
96 void soc_preload_setup(void)
100 void soc_early_init(void)
174 	scfg_setbits32((void *)(NXP_SCFG_ADDR + 0x210), 0x1f1f1f1f);
195 void soc_bl2_prepare_exit(void)
205 enum boot_device get_boot_dev(void)
242 void soc_mem_access(void)
275 const unsigned char *plat_get_power_domain_tree_desc(void)
306 void soc_early_platform_setup2(void)
319 void soc_platform_setup(void)
340 void soc_init(void)
374 					  void *handle, void *cookie)
387 void soc_runtime_setup(void)
395 unsigned int get_tot_num_cores(void)
404 unsigned int get_pmu_idle_cluster_mask(void)
413 unsigned int get_pmu_flush_cluster_mask(void)
422 unsigned int get_pmu_idle_core_mask(void)
428 unsigned int get_sys_clk(void)