Lines Matching defs:void

36 uintptr_t plat_get_ns_image_entrypoint(void)
41 static uint32_t imx7_get_spsr_for_bl32_entry(void)
47 static uint32_t imx7_get_spsr_for_bl33_entry(void)
117 void bl2_el3_plat_arch_setup(void)
122 static void imx7_setup_system_counter(void)
134 static void imx7_setup_wdog_clocks(void)
150 void bl2_el3_early_platform_setup(u_register_t arg1, u_register_t arg2,
196 void bl2_platform_setup(void)