i6300esb: fix timer overflow
authorLaurent Vivier <lvivier@redhat.com>
Tue, 4 Aug 2015 08:27:31 +0000 (10:27 +0200)
committerMichael Tokarev <mjt@tls.msk.ru>
Fri, 11 Sep 2015 07:21:38 +0000 (10:21 +0300)
commitfee562e9e41290a22623de83b673a8929ec5280d
tree77fcffdf9d062bdb50bd4bb6ad417002f532ab1d
parent6883de6c9b647d5629ffe131ed5d97c06bb0db1a
i6300esb: fix timer overflow

We use muldiv64() to compute the time to wait:

    timeout = muldiv64(get_ticks_per_sec(), timeout, 33000000);

but get_ticks_per_sec() is 10^9 (30 bit value) and timeout
is a 35 bit value.

Whereas muldiv64 is:

    uint64_t muldiv64(uint64_t a, uint32_t b, uint32_t c)

So we loose 3 bits of timeout.

Swapping get_ticks_per_sec() and timeout fixes it.

We can also replace it by a multiplication by 30 ns,
but this changes PCI clock frequency from 33MHz to 33.333333MHz
and we need to do this on all the QEMU PCI devices (later...)

Signed-off-by: Laurent Vivier <lvivier@redhat.com>
Reviewed-by: David Gibson <david@gibson.dropbear.id.au>
Signed-off-by: Michael Tokarev <mjt@tls.msk.ru>
hw/watchdog/wdt_i6300esb.c