diff options
| author | Sandrine Bailleux <sandrine.bailleux@arm.com> | 2015-09-28 17:03:06 +0100 |
|---|---|---|
| committer | Sandrine Bailleux <sandrine.bailleux@arm.com> | 2015-11-02 09:23:05 +0000 |
| commit | 68a68c925f6d2b9266b53fb6257b58ff720c3bcd (patch) | |
| tree | e505ac915610f951b2d4e0eaa80025814a79a364 /include | |
| parent | f57e2db6ef4b86a6af57891a2d7a90266ad6c033 (diff) | |
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
Diffstat (limited to 'include')
| -rw-r--r-- | include/common/bl_common.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/include/common/bl_common.h b/include/common/bl_common.h index c687b354..c9a7a3da 100644 --- a/include/common/bl_common.h +++ b/include/common/bl_common.h @@ -242,6 +242,8 @@ extern const char version_string[]; void reserve_mem(uint64_t *free_base, size_t *free_size, uint64_t addr, size_t size); +void print_entry_point_info(const entry_point_info_t *ep_info); + #endif /*__ASSEMBLY__*/ #endif /* __BL_COMMON_H__ */ |