Lines Matching defs:void

74 uintptr_t plat_get_ns_image_entrypoint(void)
88 static uintptr_t rpi4_get_dtb_address(void)
102 static void ldelay(register_t delay)
121 void bl31_early_platform_setup2(u_register_t arg0, u_register_t arg1,
174 void bl31_plat_arch_setup(void)
213 static void remove_spintable_memreserve(void *dtb)
244 static void rpi4_prepare_dtb(void)
246 	void *dtb = (void *)rpi4_get_dtb_address();
295 void bl31_platform_setup(void)