On 09/19/2017 07:15 PM, Richard Henderson wrote:
> On 09/19/2017 06:17 AM, Cédric Le Goater wrote:
>> + uint64_t reload;
>>
>> if (pclk) {
>> reload = muldiv64(s->regs[WDT_RELOAD_VALUE], NANOSECONDS_PER_SECOND,
>> s->pclk_freq);
>> } else {
>> - reload = s->regs[WDT_RELOAD_VALUE] * 1000;
>> + reload = s->regs[WDT_RELOAD_VALUE] * 1000UL;
>
> UL does not help ilp32 hosts. Need ULL or an explicit cast.ok. I will send a fix. Thanks, C.
