R_ECX
M.x86.R_ECX = regs->ecx;
regs->ecx = M.x86.R_ECX;
printk("ECX=%08x ", M.x86.R_ECX);
return M.x86.R_ECX + displacement;
return &M.x86.R_ECX;
base = M.x86.R_ECX;
i = M.x86.R_ECX;
return M.x86.R_ECX;
return M.x86.R_ECX + displacement;
M.x86.R_ECX = inc_long(M.x86.R_ECX);
M.x86.R_ECX = dec_long(M.x86.R_ECX);
push_long(M.x86.R_ECX);
M.x86.R_ECX = pop_long();
push_long(M.x86.R_ECX);
M.x86.R_ECX = pop_long();
M.x86.R_EAX = M.x86.R_ECX;
M.x86.R_ECX = tmp;
M.x86.R_ECX = srcval;
M.x86.R_ECX = bswap_32(M.x86.R_ECX);
M.x86.R_ECX : M.x86.R_CX);
M.x86.R_ECX = 0;
M.x86.R_ECX : M.x86.R_CX);
M.x86.R_ECX = 0;
hw_cpuid(&M.x86.R_EAX, &M.x86.R_EBX, &M.x86.R_ECX, &M.x86.R_EDX);
M.x86.R_ECX = 0x6c65746e;
M.x86.R_ECX = 0x00000000;
M.x86.R_ECX = 0;