Searched refs:rpi4_get_dtb_address (Results 1 – 3 of 3) sorted by relevance
82 uintptr_t rpi4_get_dtb_address(void) in rpi4_get_dtb_address() function151 bl33_image_ep_info.args.arg2 = rpi4_get_dtb_address(); in bl31_early_platform_setup2()160 bl33_image_ep_info.args.arg0 = rpi4_get_dtb_address(); in bl31_early_platform_setup2()
32 uintptr_t rpi4_get_dtb_address(void);
57 void *dtb = (void *)rpi4_get_dtb_address(); in rpi4_prepare_dtb()