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
..
aarch64	Make generic code work in presence of system caches	2015-09-14 22:09:40 +01:00
bl31.ld.S	Fix relocation of __PERCPU_BAKERY_LOCK_SIZE__	2015-09-25 16:35:10 +01:00
bl31.mk	PSCI: Switch to the new PSCI frameworks	2015-08-13 23:47:57 +01:00
bl31_main.c	Introduce print_entry_point_info() function	2015-11-02 09:23:05 +00:00
context_mgmt.c	PSCI: Introduce new platform and CM helper APIs	2015-08-13 16:17:58 +01:00
cpu_data_array.c	Rework the crash reporting in BL3-1 to use less stack	2014-07-28 11:03:20 +01:00
interrupt_mgmt.c	Demonstrate model for routing IRQs to EL3	2015-01-26 15:29:32 +00:00
runtime_svc.c	Enable type-checking of arguments passed to printf() et al.	2015-03-06 13:07:43 +00:00