Searched refs:bl33_dst_addr (Results 1 – 2 of 2) sorted by relevance
43 uint32_t bl33_dst_addr; member126 bl33_info.bl33_dst_addr, in bl31_platform_setup()
45 uint32_t bl33_dst_addr; member231 bl33_info.bl33_dst_addr, in bl31_platform_setup()