Sandrine Bailleux 68a68c925f Introduce print_entry_point_info() function ... This patch introduces a new function called 'print_entry_point_info' that prints an entry_point_t structure for debugging purposes. As such, it can be used to display the entry point address, SPSR and arguments passed from a firmware image to the next one. This function is now called in the following images transitions: - BL1 to BL2 - BL1 to BL31 - BL31 to the next image (typically BL32 or BL33) The following changes have been introduced: - Fix the output format of the SPSR value : SPSR is a 32-bit value, not a 64-bit one. - Print all arguments values. The entry_point_info_t structure allows to pass up to 8 arguments. In most cases, only the first 2 arguments were printed. print_entry_point_info() now prints all of them as 'VERBOSE' traces. Change-Id: Ieb384bffaa7849e6cb95a01a47c0b7fc2308653a		2015-11-02 09:23:05 +00:00
..
tbbr	TBB: add TBBR Chain of Trust	2015-06-25 08:53:27 +01:00
asm_macros.S	PSCI: Add deprecated API for SPD when compatibility is disabled	2015-08-13 23:48:06 +01:00
assert_macros.S	Add header guards to asm macro files	2015-04-27 18:06:24 +01:00
bl_common.h	Introduce print_entry_point_info() function	2015-11-02 09:23:05 +00:00
debug.h	Enable type-checking of arguments passed to printf() et al.	2015-03-06 13:07:43 +00:00
el3_common_macros.S	Make generic code work in presence of system caches	2015-09-14 22:09:40 +01:00
firmware_image_package.h	TBB: add support to include certificates in a FIP image	2015-01-28 18:26:59 +00:00