Index: src/trusted/service_runtime/arch/x86_64/sel_rt_64.c |
diff --git a/src/trusted/service_runtime/arch/x86_64/sel_rt_64.c b/src/trusted/service_runtime/arch/x86_64/sel_rt_64.c |
index 957b8b4247e1755a35c828197af9084a5a1502e7..cbb50899f1835d6f9c5a054c2ccbf2a9fe0f4341 100644 |
--- a/src/trusted/service_runtime/arch/x86_64/sel_rt_64.c |
+++ b/src/trusted/service_runtime/arch/x86_64/sel_rt_64.c |
@@ -7,6 +7,8 @@ |
#include <float.h> |
#include <string.h> |
+#include "native_client/src/include/build_config.h" |
+ |
/* |
* This header declares the _mm_getcsr function. |
*/ |