Lines Matching defs:void

52 unsigned int get_sys_clk(void)
66 unsigned int plat_get_syscnt_freq2(void)
104 static void set_base_freq_CNTFID0(void)
129 void soc_preload_setup(void)
138 void soc_early_init(void)
160 	scfg_setbits32((void *)(NXP_SCFG_ADDR + SCFG_SNPCNFGCR_OFFSET),
227 void soc_bl2_prepare_exit(void)
237 enum boot_device get_boot_dev(void)
282 void soc_mem_access(void)
319 const unsigned char *plat_get_power_domain_tree_desc(void)
334 void soc_early_platform_setup2(void)
353 void get_gic_offset(uint32_t *gicc_base, uint32_t *gicd_base)
377 void soc_platform_setup(void)
403 void soc_init(void)
435 void soc_runtime_setup(void)