Searched refs:system_time (Results 1 – 1 of 1) sorted by relevance
37 uint64_t system_time; member84 vcpu_time_info->version, vcpu_time_info->tsc_timestamp, vcpu_time_info->system_time); in pvclock_init()
Completed in 2 milliseconds