| commit | cb6dbfe3dc56088895c06b0492cfce289288444e | [log] [tgz] |
|---|---|---|
| author | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | Wed Aug 15 16:52:32 2018 +0100 |
| committer | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | Wed Aug 22 10:26:05 2018 +0100 |
| tree | ac2a1fcc019f806831e5dc49e1144fc4d87472d9 | |
| parent | 93c78ed231a6ea30f1c30ecbbb0f245fa9d75075 [diff] |
tf_printf: Return number of printed characters The C standard says that printf() has to return the number of characters it has printed. Change-Id: I0ef50b1d6766d140724ac0a2fa2c5d023431f984 Signed-off-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>