| Index: tests/faulted_thread_queue/faultqueue_test_guest.c
 | 
| diff --git a/tests/faulted_thread_queue/faultqueue_test_guest.c b/tests/faulted_thread_queue/faultqueue_test_guest.c
 | 
| index ecf9e814fbf4002e4c405a0f45a88a74ade1848c..eeec1db97a614530e76781cb2f1f41ce00429aea 100644
 | 
| --- a/tests/faulted_thread_queue/faultqueue_test_guest.c
 | 
| +++ b/tests/faulted_thread_queue/faultqueue_test_guest.c
 | 
| @@ -8,6 +8,8 @@
 | 
|  #include <setjmp.h>
 | 
|  #include <stdio.h>
 | 
|  
 | 
| +#include "native_client/src/include/arm_sandbox.h"
 | 
| +#include "native_client/src/include/nacl_macros.h"
 | 
|  #include "native_client/tests/common/register_set.h"
 | 
|  
 | 
|  
 | 
| @@ -67,7 +69,7 @@ int main(int argc, char **argv) {
 | 
|      ASM_WITH_REGS(
 | 
|          expected_regs,
 | 
|          ".p2align 4\n"
 | 
| -        "FaultAddr: bkpt 0x7777\n"
 | 
| +        "FaultAddr: .word " NACL_TO_STRING(NACL_INSTR_HALT_FILL) "\n"
 | 
|          /*
 | 
|           * ARM does not provide hardware single-stepping so we do not
 | 
|           * test it here, unlike in the x86 case.
 | 
| 
 |