AMD_TSC_MAX_FREQ_RATIO
invalid.vt_guest_freq = src->vt_guest_freq * AMD_TSC_MAX_FREQ_RATIO;
valid.vt_guest_freq = src->vt_guest_freq * AMD_TSC_MAX_FREQ_RATIO - 1;
(guest_hz >= (host_hz * AMD_TSC_MAX_FREQ_RATIO))) {