Index: src/trusted/service_runtime/linux/arm/sel_segments.c |
diff --git a/src/trusted/service_runtime/linux/arm/sel_segments.c b/src/trusted/service_runtime/linux/arm/sel_segments.c |
index 311299033598275cd792025c47e356135a698c55..3d43c3cd49ce684ad39d1c021b04d2feaf17402b 100644 |
--- a/src/trusted/service_runtime/linux/arm/sel_segments.c |
+++ b/src/trusted/service_runtime/linux/arm/sel_segments.c |
@@ -10,7 +10,7 @@ |
uint32_t NaClGetStackPtr(void) { |
uint32_t sp; |
- asm("mov %0, %%sp" : "=r" (sp)); |
+ asm("mov %0, sp" : "=r" (sp)); |
return sp; |
} |