Add and use plat_crash_console_flush() API
authorAntonio Nino Diaz <antonio.ninodiaz@arm.com>
Fri, 17 Feb 2017 17:11:27 +0000 (17:11 +0000)
committerAntonio Nino Diaz <antonio.ninodiaz@arm.com>
Fri, 31 Mar 2017 08:54:22 +0000 (09:54 +0100)
commit801cf93c48585a83fda5d576b25c7b7f3cd59259
tree7cd2ad556c586014ae34bb7b1925a0738d44e273
parentad4c2ec6880f2f13f36e46a2bc3b624525b89c15
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>
bl31/aarch64/crash_reporting.S
common/aarch32/debug.S
common/aarch64/debug.S
docs/porting-guide.md
include/plat/common/platform.h
plat/arm/common/aarch32/arm_helpers.S
plat/arm/common/aarch64/arm_helpers.S
plat/common/aarch32/platform_helpers.S
plat/common/aarch64/platform_helpers.S