1890         stq(a0, ((uint64_t)ECX << 32) | (uint32_t)EBX);  in helper_cmpxchg8b()
1894         stq(a0, d);  in helper_cmpxchg8b()
1914         stq(a0, EBX);  in helper_cmpxchg16b()
1915         stq(a0 + 8, ECX);  in helper_cmpxchg16b()
1919         stq(a0, d0);  in helper_cmpxchg16b()
1920         stq(a0 + 8, d1);  in helper_cmpxchg16b()
1996             stq(esp, ldq(ebp));  in helper_enter64_level()
1999         stq(esp, t1);  in helper_enter64_level()
4394         stq(ptr + 0x08, 0); /* rip */  in helper_fxsave()
4395         stq(ptr + 0x10, 0); /* rdp */  in helper_fxsave()
4426                 stq(addr, env->xmm_regs[i].XMM_Q(0));  in helper_fxsave()
4427                 stq(addr + 8, env->xmm_regs[i].XMM_Q(1));  in helper_fxsave()