Lines Matching defs:void

53 uintptr_t plat_get_ns_image_entrypoint(void)
70 void bl31_early_platform_setup2(u_register_t arg0, u_register_t arg1,
141 void bl31_plat_arch_setup(void)
159 static void rpi3_dtb_add_mem_rsv(void)
163 	void *dtb = (void *)RPI3_PRELOADED_DTB_BASE;
220 void bl31_platform_setup(void)