mov               388 mtcp/mtcp_restart.c   asm volatile (CLEAN_FOR_64_BIT(mov %0,%%esp;)
mov               429 mtcp/mtcp_restart.c   asm volatile (CLEAN_FOR_64_BIT(mov %0,%%esp;)
mov               457 mtcp/mtcp_sys.h   asm volatile (CLEAN_FOR_64_BIT(hlt ; xor %eax,%eax ; mov (%eax),%eax) );
mov               318 mtcp/restore_libc.c   asm volatile (CLEAN_FOR_64_BIT(mov %%ebp, %0\n\t)
mov               390 mtcp/restore_libc.c   asm volatile (CLEAN_FOR_64_BIT(mov %%gs:) DEFAULT_SYSINFO_OFFSET ", %0\n\t"
mov               412 mtcp/restore_libc.c   asm volatile (CLEAN_FOR_64_BIT(mov %%gs:) DEFAULT_SYSINFO_OFFSET ", %0\n\t"
mov               427 mtcp/restore_libc.c   asm volatile (CLEAN_FOR_64_BIT(mov %0, %%gs:) DEFAULT_SYSINFO_OFFSET "\n\t"
mov               100 threadlist.cpp   asm volatile (CLEAN_FOR_64_BIT(mov %%esp,%0)