[xen-unstable] hvm: Fix 2 type mismatches in vlapic.h and hpet.c for 32-bit build Xen
# HG changeset patch
# User Keir Fraser <[hidden email]>
# Date 1196255631 0
# Node ID c00f31f27de6eb69b4d79f7aa330b1e4aba6f45f
# Parent c76a9aa12d2e37ed5c6c2a3562c755ec3828af8a
hvm: Fix 2 type mismatches in vlapic.h and hpet.c for 32-bit build Xen
For 32-bit build of Xen:
1) the first mismatch (in hpet_read(), length is 4) makes guest think
the HPET DM is buggy (we return 0 for HPET_CFG.COUNTER_CLK_PERIOD to
guest), so guest wouldn't use HPET at all.
2) the second one: if tmict is 62500000 and timer_divisor is 16
(Fedoar7's installer uses the values at some time), 10 * 62500000 * 16
= 0x2540BE400 -- it's too big to be held in uint32_t.