Lines Matching defs:void

72 void bl31_early_platform_setup2(u_register_t arg0, u_register_t arg1,
75 	void *from_bl2;
77 	from_bl2 = (void *) arg0;
115 void bl31_plat_arch_setup(void)
126 static void hikey_edma_init(void)
139 void bl31_platform_setup(void)
153 void bl31_plat_runtime_setup(void)