tree 406e7f3dacdbaf7d861d36db100bb4c27238af4e
parent 73e052846ab4c45194d639ab65b523448a7d7edd
author Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1486569492 +0000
committer Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1490950461 +0100

Add console_core_flush() in upstream platforms

It is needed to add placeholders for this function because, as this is
not a `plat_xxx()` function, there aren't weak definitions of it in any
file.

If `console_flush()` is used and there isn't an implementation of
`console_core_flush()` in any file, the compilation will fail.

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