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. r~
