From ca8b7d51c8d8f6ecddcc39e78d80b7a803054d83 Mon Sep 17 00:00:00 2001
From: Yatharth Kochar <yatharth.kochar@arm.com>
Date: Wed, 9 Dec 2015 14:22:47 +0000
Subject: [PATCH] Include psci.h from tegra platform header

The `plat/nvidia/tegra/include/tegra_private.h` file uses resources
from psci.h (for example, psci_power_state_t) but does not explicitly
include psci.h. This does not currently cause a problem since psci.h
is indirectly included via other headers. However, this may not be
the case in future.

This patch explicitly includes psci.h from tegra_private.h

Change-Id: Ia991147898dbd117c1d3496a95850995a5554c05
---
 plat/nvidia/tegra/include/tegra_private.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/plat/nvidia/tegra/include/tegra_private.h b/plat/nvidia/tegra/include/tegra_private.h
index aca9db723..6fa943ffc 100644
--- a/plat/nvidia/tegra/include/tegra_private.h
+++ b/plat/nvidia/tegra/include/tegra_private.h
@@ -33,6 +33,7 @@
 
 #include <arch.h>
 #include <platform_def.h>
+#include <psci.h>
 #include <xlat_tables.h>
 
 /*******************************************************************************