Searched refs:ti_system_time (Results 1 – 3 of 3) sorted by relevance
59 uint64_t ti_system_time; member
216 system_time = ti->ti_system_time; in pvclock_get_timecount()
6472 pvclock_ti->ti_system_time = in vmm_update_pvclock()