tree 091e594f34f52779865701366ffb6650795233ce
parent 935c2e718cda4952a5d1d7d32abce330fdf46546
author Soby Mathew <soby.mathew@arm.com> 1462448081 +0100
committer Soby Mathew <soby.mathew@arm.com> 1470828946 +0100

AArch32: Add tf_printf support

The tf_printf library uses 64 bit division to print numbers
in appropriate formats but AArch32 mode cannot do 64 bit division
natively. Hence this patch adds additional number printing routines
to handle AArch32 mode in tf_printf library. The decimal format
printing capability is limited to 32 bit integers whereas 64 bits
are supported in hexadecimal format. The library assumes that
secure world is running in Little-Endian mode to do bit
manipulations on 64 bit. Suitable assertions are present to
enforce this assumption.

Change-Id: I55a21e448cef4915d1834d76e48a84ccf0bec36d