Searched refs:bl33_src_addr (Results 1 – 2 of 2) sorted by relevance
42 uint32_t bl33_src_addr; member125 copy_bl33(bl33_info.bl33_src_addr, in bl31_platform_setup()
44 uint32_t bl33_src_addr; member230 copy_bl33(bl33_info.bl33_src_addr, in bl31_platform_setup()