EDX = (uint32_t)r;
}
/* GCC 4 has a hard time with this helper */
#ifndef CONFIG_KVM
void helper_cmpxchg8b(void)
{
uint64_t d;
CC_SRC = eflags;
#endif
void helper_cpuid(void)
CC_SRC = eflags | CC_Z;
/* GCC 4 has a hard time with the FPU helpers */
/* FPU helpers */
void helper_fldt_ST0_A0(void)
#ifndef USE_X86LDOUBLE