On 12/28/2013 01:49 PM, Peter Maydell wrote: > + uint64_t vlo = float64_val(env->vfp.regs[i * 2]); > + uint64_t vhi = float64_val(env->vfp.regs[(i * 2) + 1]); > + cpu_fprintf(f, "q%02d.0=%016" PRIx64 ":%016" PRIx64 " ", > + i, vlo, vhi); Why print them lo:hi instead of, what would seem to me, the more natural hi:lo. And what's that .0 qualifier doing on the end of an integer print field? r~ _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/cucslists/listinfo/kvmarm