Lines Matching defs:void

27 uint32_t arm_get_spsr_for_bl33_entry(void);
51 void bl31_early_platform_setup2(u_register_t arg0, u_register_t arg1,
67 	void *from_bl2 = (void *) arg0;
72 	void *plat_params_from_bl2 = (void *) arg3;
160 void bl31_platform_setup(void)
191 void bl31_plat_arch_setup(void)
204 uintptr_t plat_get_ns_image_entrypoint(void)
214 uint32_t arm_get_spsr_for_bl33_entry(void)
232 void bl31_plat_set_secondary_cpu_entrypoint(unsigned int cpu_id)
267 void bl31_plat_set_secondary_cpu_off(void)
281 void bl31_plat_enable_mmu(uint32_t flags)