Searched refs:rdtsc_offset (Results 1 – 3 of 3) sorted by relevance
116 uint64_t rdtsc_offset(void);
622 rdtsc_offset(void) in rdtsc_offset() function
570 const uint64_t boot_tsc = rdtsc_offset(); in vm_init()2078 val = calc_guest_tsc(rdtsc_offset(), vm->freq_multiplier, in vm_handle_rdmsr()2135 vcpu->tsc_offset = val - calc_guest_tsc(rdtsc_offset(), in vm_handle_wrmsr()