| 127 | } |
| 128 | |
| 129 | static uint64_t |
| 130 | pvclock_get_nsec_offset(struct pvclock_vcpu_time_info *ti) |
| 131 | { |
| 132 | uint64_t delta; |
| 133 | |
| 134 | delta = rdtsc() - ti->tsc_timestamp; |
| 135 | |
| 136 | return (pvclock_scale_delta(delta, ti->tsc_to_system_mul, |
| 137 | ti->tsc_shift)); |
| 138 | } |
| 139 | |
| 140 | static void |
| 141 | pvclock_read_time_info(struct pvclock_vcpu_time_info *ti, |
no test coverage detected