commit 1baa28bb2dc79f23c550d67604324afd222221c3
author Antonio Niño Díaz <antonio.ninodiaz@arm.com> Wed Feb 27 17:15:13 2019 +0000
committer GitHub <noreply@github.com> Wed Feb 27 17:15:13 2019 +0000
tree c941d51315b572bf01f147a12b72f65c90bb2408
parent 57bc6424cd7021e64d2af876b7d79b685893a208
parent 10608a63d89ff5b43f227f6f34787bd8cb5131f9

Merge pull request #1841 from antonio-nino-diaz-arm/an/fix-gensmc

trusty: Include file with GIC definitions

services/spd/trusty/generic-arm64-smcall.c

diff --git a/services/spd/trusty/generic-arm64-smcall.c b/services/spd/trusty/generic-arm64-smcall.c
index 771e2cf..dfc3e71 100644
--- a/services/spd/trusty/generic-arm64-smcall.c
+++ b/services/spd/trusty/generic-arm64-smcall.c
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2016-2018, ARM Limited and Contributors. All rights reserved.
+ * Copyright (c) 2016-2019, ARM Limited and Contributors. All rights reserved.
  *
  * SPDX-License-Identifier: BSD-3-Clause
  */
@@ -8,6 +8,7 @@
 
 #include <common/debug.h>
 #include <common/runtime_svc.h>
+#include <platform_def.h>
 
 #include "generic-arm64-smcall.h"