#include "vmmonInt.h"
#include "versioned_atomic.h"
#include <asm/apic.h>
/*
* Determine if we can use high resolution timers.
*/