Lines Matching defs:void

74 void bl31_early_platform_setup2(u_register_t arg0, u_register_t arg1,
78 	void *from_bl2;
81 	from_bl2 = (void *) arg0;
130 void bl31_plat_arch_setup(void)
145 static void hikey960_edma_init(void)
159 static void hikey960_iomcu_dma_init(void)
216 void bl31_platform_setup(void)
234 					void *handle,
235 					void *cookie)
254 	(void)intid;
259 void bl31_plat_runtime_setup(void)