tree ac2a1fcc019f806831e5dc49e1144fc4d87472d9
parent 4b32e6214d67f6e10c8899ca94e631e3a7fca841
author Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1534348352 +0100
committer Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1534929965 +0100

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>