Searched refs:vmm_host_tsc_delta (Results 1 – 3 of 3) sorted by relevance
632 vmm_host_tsc_delta(void) in vmm_host_tsc_delta() function
3286 vcpu_off += vmm_host_tsc_delta(); in vcpu_tsc_offset()
454 uint64_t vmm_host_tsc_delta(void);