/plat/nvidia/tegra/include/
../
drivers
plat_macros.S
platform_def.h
t132
t186
t210
tegra_platform.h
tegra_private.h