_REG_R12
gr[_REG_R12] = tf->tf_reg[12];
tf->tf_reg[12] = gr[_REG_R12];
mcp->__gregs[_REG_R12] = tf->tf_r12;
tf->tf_r12 = gr[_REG_R12];
regs[_REG_R12] = tf->tf_r12;
tf->tf_r12 = regs[_REG_R12];
gr[_REG_R12] = tf->tf_r12;
tf->tf_r12 = gr[_REG_R12];
gr[_REG_R12] = tf->tf_r12;
tf->tf_r12 = gr[_REG_R12];
gdb_regs[12] = gregs[_REG_R12];
gregs[_REG_R12] = gdb_regs[12];
mctx->__gregs[_REG_R12] = lsigctx->r12;
gr[_REG_R12] = luc->luc_mcontext.arm_ip;
luc->luc_mcontext.arm_ip = gr[_REG_R12];
DPRINTF("R12=%#" PRIxREGISTER "\n", r.regs[_REG_R12]);
ATF_CHECK_EQ((uint64_t)gpr.regs[_REG_R12],
gpr.regs[_REG_R12] = expected[4].u64;