calc_guest_tsc
val = calc_guest_tsc(rdtsc_offset(), vm->freq_multiplier,
vcpu->tsc_offset = val - calc_guest_tsc(rdtsc_offset(),
static uint64_t calc_guest_tsc(uint64_t host_tsc, uint64_t mult,
out->vt_guest_tsc = calc_guest_tsc(tsc, vm->freq_multiplier,