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.