The BL33 address is now set in arm_bl31_early_platform_setup() so
that the preloaded BL33 boot option is available when RESET_TO_BL31
is also used.
Change-Id: Iab93e3916f9199c3387886b055c7cd2315efed29
* Tell BL31 where the non-trusted software image
* is located and the entry state information
*/
+#ifdef BL33_BASE
+ bl33_image_ep_info.pc = BL33_BASE;
+#else
bl33_image_ep_info.pc = plat_get_ns_image_entrypoint();
+#endif
bl33_image_ep_info.spsr = arm_get_spsr_for_bl33_entry();
SET_SECURITY_STATE(bl33_image_ep_info.h.attr, NON_SECURE);