Searched refs:vcpu_time_info_t (Results 1 – 3 of 3) sorted by relevance
93 vcpu_time_info_t *src; in dtrace_xpv_getsystime()94 vcpu_time_info_t __vti, *dst = &__vti; in dtrace_xpv_getsystime()
426 typedef struct vcpu_time_info vcpu_time_info_t; typedef
1216 vcpu_time_info_t *vti = &CPU->cpu_m.mcpu_vcpu_info->time; in mach_getcpufreq()