timecounter

Hi all, I've got an interesting issue with a FreeBSD-8.4 appliance guest (Citrix Netscaler 11.1). Ceph is the storage backend. Hosts are matching Xeon E5-2690 configurations. Everything is fine so long as the guest remains on the host it booted on. If live-migrated anywhere, the guest can...