/plat/nvidia/tegra/include/

• ../
• drivers
• plat_macros.S
• platform_def.h
• t132
• t210
• tegra_private.h