Antonio Nino Diaz 73e052846a 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>
2017-03-31 09:54:21 +01:00
..
2016-04-01 11:43:45 -07:00
2016-12-14 14:31:32 +00:00
2017-01-10 09:36:44 -06:00
2017-03-31 09:54:21 +01:00
2015-12-04 10:23:33 +00:00
2016-05-27 09:39:56 +08:00