_REG_R13
gr[_REG_R13] = tf->tf_reg[13];
tf->tf_reg[13] = gr[_REG_R13];
mcp->__gregs[_REG_R13] = tf->tf_r13;
tf->tf_r13 = gr[_REG_R13];
regs[_REG_R13] = tf->tf_r13;
tf->tf_r13 = regs[_REG_R13];
#define _REG_SP _REG_R13
gr[_REG_R13] = tf->tf_r13;
tf->tf_r13 = gr[_REG_R13];
gdb_regs[13] = gregs[_REG_R13];
gregs[_REG_R13] = gdb_regs[13];
mctx->__gregs[_REG_R13] = lsigctx->r13;
gr[_REG_R13] = luc->luc_mcontext.arm_sp;
luc->luc_mcontext.arm_sp = gr[_REG_R13];
DPRINTF("R13=%#" PRIxREGISTER "\n", r.regs[_REG_R13]);
ATF_CHECK_EQ((uint64_t)gpr.regs[_REG_R13],
gpr.regs[_REG_R13] = expected[5].u64;