On 12/31/2013 06:22 AM, Peter Maydell wrote: > Or do you mean we should call float32_to_int32() instead? > I think that ought to work... Yes, that's what I meant. r~ _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/cucslists/listinfo/kvmarm
