diff options
| author | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2017-02-17 17:11:27 +0000 |
|---|---|---|
| committer | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2017-03-31 09:54:22 +0100 |
| commit | 801cf93c48585a83fda5d576b25c7b7f3cd59259 (patch) | |
| tree | 7cd2ad556c586014ae34bb7b1925a0738d44e273 /include/plat | |
| parent | ad4c2ec6880f2f13f36e46a2bc3b624525b89c15 (diff) | |
Add and use plat_crash_console_flush() API
This API makes sure that all the characters sent to the crash console
are output before returning from it.
Porting guide updated.
Change-Id: I1785f970a40f6aacfbe592b6a911b1f249bb2735
Signed-off-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>
Diffstat (limited to 'include/plat')
| -rw-r--r-- | include/plat/common/platform.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/plat/common/platform.h b/include/plat/common/platform.h index 73bb6431..e8dfb997 100644 --- a/include/plat/common/platform.h +++ b/include/plat/common/platform.h @@ -90,6 +90,7 @@ uintptr_t plat_get_my_stack(void); void plat_report_exception(unsigned int exception_type); int plat_crash_console_init(void); int plat_crash_console_putc(int c); +int plat_crash_console_flush(void); void plat_error_handler(int err) __dead2; void plat_panic_handler(void) __dead2; |