vmclock_get_crosststamp
ret = vmclock_get_crosststamp(st, sts, system_counter, tspec);
ret = vmclock_get_crosststamp(st, NULL, system_counter, &tspec);
return vmclock_get_crosststamp(st, sts, NULL, ts);