Index: src/trusted/service_runtime/arch/x86_32/sel_rt_32.c |
diff --git a/src/trusted/service_runtime/arch/x86_32/sel_rt_32.c b/src/trusted/service_runtime/arch/x86_32/sel_rt_32.c |
index 6d1b5c6cffd42314cc555e32083eeeb44830e7ff..9e2b6800c00eda80e69f7815b1188a3412855657 100644 |
--- a/src/trusted/service_runtime/arch/x86_32/sel_rt_32.c |
+++ b/src/trusted/service_runtime/arch/x86_32/sel_rt_32.c |
@@ -19,7 +19,7 @@ |
#include "native_client/src/trusted/service_runtime/sel_ldr.h" |
#include "native_client/src/trusted/service_runtime/sel_rt.h" |
#include "native_client/src/trusted/service_runtime/include/sys/errno.h" |
-#include "native_client/src/trusted/validator/x86/nacl_cpuid.h" |
+#include "native_client/src/trusted/cpu_features/arch/x86/cpu_x86.h" |
uintptr_t NaClGetThreadCtxSp(struct NaClThreadContext *th_ctx) { |