Searched refs:rpi4_get_dtb_address (Results 1 – 1 of 1) sorted by relevance
88 static uintptr_t rpi4_get_dtb_address(void) in rpi4_get_dtb_address() function157 bl33_image_ep_info.args.arg2 = rpi4_get_dtb_address(); in bl31_early_platform_setup2()166 bl33_image_ep_info.args.arg0 = rpi4_get_dtb_address(); in bl31_early_platform_setup2()246 void *dtb = (void *)rpi4_get_dtb_address(); in rpi4_prepare_dtb()
