I added some tracing to the tegra-mc and the bpmp driver which the tegra-mc uses. This might be useful to other people so sending these for review.
[PATCH 1/2] memory: tegra-mc: add tracepoints for tegra mc tracing [PATCH 2/2] drivers/firware/tegra: add tracing to bpmp code