/plat/nvidia/tegra/common/aarch64/
../
tegra_helpers.S