rdtsc_offset
uint64_t rdtsc_offset(void);
val = calc_guest_tsc(rdtsc_offset(), vm->freq_multiplier,
vcpu->tsc_offset = val - calc_guest_tsc(rdtsc_offset(),
const uint64_t boot_tsc = rdtsc_offset();