26c26
< * $FreeBSD: stable/10/sys/amd64/vmm/io/vlapic.c 268891 2014-07-19 22:06:46Z jhb $
---
> * $FreeBSD: stable/10/sys/amd64/vmm/io/vlapic.c 268953 2014-07-21 19:08:02Z jhb $
30c30
< __FBSDID("$FreeBSD: stable/10/sys/amd64/vmm/io/vlapic.c 268891 2014-07-19 22:06:46Z jhb $");
---
> __FBSDID("$FreeBSD: stable/10/sys/amd64/vmm/io/vlapic.c 268953 2014-07-21 19:08:02Z jhb $");
73c73,78
< #define VLAPIC_BUS_FREQ tsc_freq
---
> /*
> * APIC timer frequency:
> * - arbitrary but chosen to be in the ballpark of contemporary hardware.
> * - power-of-two to avoid loss of precision when converted to a bintime.
> */
> #define VLAPIC_BUS_FREQ (128 * 1024 * 1024)