1 Nov 2010 03:24
Re: [PATCH 4/4] target-xxx: Use fprintf_function (format checking)
TeLeMan <geleman <at> gmail.com>
2010-11-01 02:24:34 GMT
2010-11-01 02:24:34 GMT
On Sat, Oct 23, 2010 at 05:03, Stefan Weil <weil <at> mail.berlios.de> wrote:
> int eflags, i, nb;
> <at> <at> -335,9 +333,11 <at> <at> void cpu_dump_state(CPUState *env, FILE *f,
> (uint32_t)env->cr[2],
> (uint32_t)env->cr[3],
> (uint32_t)env->cr[4]);
> - for(i = 0; i < 4; i++)
> - cpu_fprintf(f, "DR%d=%08x ", i, env->dr[i]);
> - cpu_fprintf(f, "\nDR6=%08x DR7=%08x\n", env->dr[6], env->dr[7]);
> + for(i = 0; i < 4; i++) {
> + cpu_fprintf(f, "DR%d=" TARGET_FMT_lx " ", i, env->dr[i]);
> + }
> + cpu_fprintf(f, "\nDR6=" TARGET_FMT_lx " DR7=" TARGET_FMT_lx "\n",
> + env->dr[6], env->dr[7]);
> }
I think this patch is not right. Outputting 64bits data is not
necessary on 32bits mode.
RSS Feed