tree 31f282afacd0d8c9836d345a691d675bc1cedf52
parent 47b4443b05a36b2b89189ddb2fbac6eba2021c21
author Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1486397021 +0000
committer Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1490950461 +0100

Add console_flush() to console API

This function ensures that console output is flushed, for example
before shutting down or use by another component

In line with other console APIs, console_flush() wraps
console_core_flush().

Also implement console_core_flush() for PL011.

Change-Id: I3db365065e4de04a454a5c2ce21be335a23a01e4
Signed-off-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>