diff --git a/plat/nvidia/tegra/common/tegra_bl31_setup.c b/plat/nvidia/tegra/common/tegra_bl31_setup.c index 80cc7129a1b333313db662b4626d9708b2f90ba6..30ff0a38d47414abf1639dcb34ec909b8074b8aa 100644 --- a/plat/nvidia/tegra/common/tegra_bl31_setup.c +++ b/plat/nvidia/tegra/common/tegra_bl31_setup.c @@ -293,6 +293,9 @@ void plat_trusty_set_boot_args(aapcs64_params_t *args) if (args->arg4 != 0U) { args->arg2 = args->arg4; } + + /* Profiler Carveout Base */ + args->arg3 = args->arg5; } #endif