Soby Mathew d30ac1c36f Use tf_printf() for debug logs from xlat_tables.c ... The debug prints used to debug translation table setup in xlat_tables.c used the `printf()` standard library function instead of the stack optimized `tf_printf()` API. DEBUG_XLAT_TABLE option was used to enable debug logs within xlat_tables.c and it configured a much larger stack size for the platform in case it was enabled. This patch modifies these debug prints within xlat_tables.c to use tf_printf() and modifies the format specifiers to be compatible with tf_printf(). The debug prints are now enabled if the VERBOSE prints are enabled in Trusted Firmware via LOG_LEVEL build option. The much larger stack size definition when DEBUG_XLAT_TABLE is defined is no longer required and the platform ports are modified to remove this stack size definition. Change-Id: I2f7d77ea12a04b827fa15e2adc3125b1175e4c23		2016-02-01 10:10:09 +00:00
..
board/common	Use tf_printf() for debug logs from xlat_tables.c	2016-02-01 10:10:09 +00:00
common	Remove dashes from image names: 'BL3-x' --> 'BL3x'	2015-12-14 12:31:37 +00:00
css/common	Remove dashes from image names: 'BL3-x' --> 'BL3x'	2015-12-14 12:31:37 +00:00
soc/common	Fix build error with optimizations disabled (-O0)	2015-08-05 09:34:48 +01:00