On 16/09/15 06:27, Aurelien Jarno wrote: > Independently of your patch, I do wonder if we shouldn't change the > return type of cpu_mips_get_count to int32_t. With your patch, there > are now 2 calls to this functions, and both cast the value to int32_t.
Yes, I think that will make more sense if the return type of cpu_mips_get_count() matches CP0_Count. Leon
