Lines Matching refs:bl32_image_ep_info

39 static entry_point_info_t bl32_image_ep_info;  variable
56 	return &bl32_image_ep_info;  in bl31_plat_get_next_image_ep_info()
64 	bl32_image_ep_info.pc = BL32_BASE;  in bl31_set_default_config()
65 	bl32_image_ep_info.spsr = arm_get_spsr(BL32_IMAGE_ID);  in bl31_set_default_config()
69 	bl32_image_ep_info.args.arg3 = XILINX_OF_BOARD_DTB_ADDR;  in bl31_set_default_config()
74 	bl32_image_ep_info.args.arg2 = XILINX_OF_BOARD_DTB_ADDR;  in bl31_set_default_config()
75 	bl32_image_ep_info.args.arg0 = SPMC_MANIFEST_DTB_ADDR;  in bl31_set_default_config()
173 	SET_PARAM_HEAD(&bl32_image_ep_info, PARAM_EP, VERSION_1, 0);  in bl31_early_platform_setup2()
174 	SET_SECURITY_STATE(bl32_image_ep_info.h.attr, SECURE);  in bl31_early_platform_setup2()
179 	rc = transfer_list_populate_ep_info(&bl32_image_ep_info, &bl33_image_ep_info);  in bl31_early_platform_setup2()
194 	NOTICE("BL31: Secure code at 0x%lx\n", bl32_image_ep_info.pc);  in bl31_early_platform_setup2()