lib/libsys/x86/__vdso_gettc.c

346

static struct pvclock_vcpu_time_info *pvclock_timeinfos;

lib/libsys/x86/__vdso_gettc.c

352

struct pvclock_vcpu_time_info *ti;

lib/libsys/x86/__vdso_gettc.c

381

struct pvclock_vcpu_time_info *timeinfos;

sys/dev/kvm_clock/kvm_clock.c

180

sizeof(struct pvclock_vcpu_time_info), M_WAITOK | M_ZERO);

sys/dev/kvm_clock/kvm_clock.c

68

struct pvclock_vcpu_time_info *timeinfos;

sys/dev/xen/timer/xen_timer.c

159

struct pvclock_vcpu_time_info *time;

sys/dev/xen/timer/xen_timer.c

161

time = (struct pvclock_vcpu_time_info *) &vcpu->time;

sys/x86/include/pvclock.h

117

struct pvclock_vcpu_time_info *timeinfos;

sys/x86/include/pvclock.h

133

uint64_t pvclock_tsc_freq(struct pvclock_vcpu_time_info *ti);

sys/x86/include/pvclock.h

134

uint64_t pvclock_get_timecount(struct pvclock_vcpu_time_info *ti);

sys/x86/x86/pvclock.c

102

pvclock_read_time_info(struct pvclock_vcpu_time_info *ti,

sys/x86/x86/pvclock.c

159

pvclock_get_timecount(struct pvclock_vcpu_time_info *ti)

sys/x86/x86/pvclock.c

201

if (offset >= mp_ncpus * sizeof(struct pvclock_vcpu_time_info))

sys/x86/x86/pvclock.c

61

struct pvclock_vcpu_time_info *ti, uint64_t *ns, uint8_t *flags);

sys/x86/x86/pvclock.c

89

pvclock_tsc_freq(struct pvclock_vcpu_time_info *ti)