| commit | f440708c86e894858ba4077c764d6f82261f1583 | [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 | 4b32e6214d67f6e10c8899ca94e631e3a7fca841 [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>