Index: src/trusted/service_runtime/arch/arm/sel_ldr_arm.h |
diff --git a/src/trusted/service_runtime/arch/arm/sel_ldr_arm.h b/src/trusted/service_runtime/arch/arm/sel_ldr_arm.h |
index 04e791e0127dacb92369ab4a97a7ea4302928faa..210aa037bee48c7f502f71e0cb0e6e3929110ede 100644 |
--- a/src/trusted/service_runtime/arch/arm/sel_ldr_arm.h |
+++ b/src/trusted/service_runtime/arch/arm/sel_ldr_arm.h |
@@ -7,6 +7,7 @@ |
#ifndef SERVICE_RUNTIME_ARCH_ARM_SEL_LDR_H__ |
#define SERVICE_RUNTIME_ARCH_ARM_SEL_LDR_H__ 1 |
+#include "native_client/src/include/arm_sandbox.h" |
#include "native_client/src/include/portability.h" |
#include "native_client/src/trusted/service_runtime/nacl_config.h" |
@@ -24,7 +25,7 @@ |
#define NACL_HALT_LEN 2 /* length of halt instruction */ |
#else |
#define NACL_NOOP_OPCODE 0xe1a00000 /* mov r0, r0 */ |
-#define NACL_HALT_OPCODE 0xe1266676 /* bkpt 6666 */ |
+#define NACL_HALT_OPCODE NACL_INSTR_HALT_FILL |
#define NACL_HALT_LEN 4 /* length of halt instruction */ |
#endif /* defined(NACL_TARGET_ARM_THUMB2_MODE) */ |
#define NACL_HALT_WORD NACL_HALT_OPCODE |