diff options
Diffstat (limited to 'services/spd/tspd/tspd_private.h')
-rw-r--r-- | services/spd/tspd/tspd_private.h | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/services/spd/tspd/tspd_private.h b/services/spd/tspd/tspd_private.h index e2e333d09b..50f3b875e5 100644 --- a/services/spd/tspd/tspd_private.h +++ b/services/spd/tspd/tspd_private.h @@ -7,11 +7,12 @@ #ifndef TSPD_PRIVATE_H #define TSPD_PRIVATE_H +#include <platform_def.h> + #include <arch.h> +#include <bl31/interrupt_mgmt.h> #include <context.h> -#include <interrupt_mgmt.h> -#include <platform_def.h> -#include <psci.h> +#include <lib/psci/psci.h> /******************************************************************************* * Secure Payload PM state information e.g. SP is suspended, uninitialised etc @@ -127,9 +128,10 @@ #ifndef __ASSEMBLY__ -#include <cassert.h> #include <stdint.h> +#include <lib/cassert.h> + /* * The number of arguments to save during a SMC call for TSP. * Currently only x1 and x2 are used by TSP. |