adjust_tsc_offset_guest
adjust_tsc_offset_guest(vcpu, adjustment);
adjust_tsc_offset_guest(v, tsc - tsc_timestamp);
adjust_tsc_offset_guest(vcpu, adj);