On 5/2/19 1:26 AM, Thomas Huth wrote:
>> @@ -107,7 +107,7 @@ static void sys_cache_info(int *isize, int *dsize)
>> static void arch_cache_info(int *isize, int *dsize)
>> {
>> if (*isize == 0 || *dsize == 0) {
>> - unsigned long ctr;
>> + uintptr_t ctr;
>
> Looking at the whole function, is uintptr_t really the right type to use
> here? ctr does not seem to contain the value of a pointer variable, so
> this looks wrong to me...
> Do you get a compiler warning here? If so, how does it look like?
> Anyway, I think it would be better to use a uint64_t or uint32_t type
> here instead if possible?
uint64_t is the proper type to use with MRS.
r~
