- fix firmware boot broken in r4689;
This commit is contained in:
mtabachenko 2013-07-18 08:16:26 +00:00
parent 53ff80b635
commit 42f5338e56
1 changed files with 1 additions and 1 deletions

View File

@ -3762,7 +3762,7 @@ static int op_bx_thumbR15()
{
GpVar dst = c.newGpVar(kX86VarTypeGpd);
GpVar thumb = c.newGpVar(kX86VarTypeGpd);
c.mov(dst, bb_next_instruction);
c.mov(dst, bb_r15);
c.and_(cpu_ptr(CPSR), (u32)~(1<< 5));
c.and_(dst, 0xFFFFFFFC);
c.mov(reg_ptr(15), dst);