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
..
drivers	Tegra: flowctrl: rename tegra_fc_cpu_idle() to tegra_fc_cpu_powerdn()	2015-11-24 17:14:30 -08:00
t132	Tegra: remove support for legacy platform APIs	2015-12-04 15:41:20 -08:00
t210	Tegra210: enable WRAP to INCR burst type conversions	2015-07-27 17:34:41 +05:30
plat_macros.S	Support for NVIDIA's Tegra T210 SoCs	2015-05-29 16:43:25 +05:30
platform_def.h	Use tf_printf() for debug logs from xlat_tables.c	2016-02-01 10:10:09 +00:00
tegra_private.h	Include psci.h from tegra platform header	2015-12-09 15:16:10 +00:00