Lines Matching defs:void

27 unsigned int plat_get_syscnt_freq2(void)
48 void bl31_early_platform_setup2(u_register_t arg0, u_register_t arg1,
51 	void *from_bl2 = (void *) arg0;
55 	(void)console_pl011_register(PLAT_SQ_BOOT_UART_BASE,
79 uint32_t sq_get_spsr_for_bl32_entry(void)
91 uint32_t sq_get_spsr_for_bl33_entry(void)
107 void bl31_early_platform_setup2(u_register_t arg0, u_register_t arg1,
111 	(void)console_pl011_register(PLAT_SQ_BOOT_UART_BASE,
163 static void sq_configure_sys_timer(void)
189 void bl31_platform_setup(void)
207 void bl31_plat_runtime_setup(void)
214 void bl31_plat_arch_setup(void)
237 	memcpy((void *)SPM_SHIM_EXCEPTIONS_START,
238 	       (void *)SPM_SHIM_EXCEPTIONS_LMA,
244 void bl31_plat_enable_mmu(uint32_t flags)