Searched refs:vcpu_time_info_t (Results 1 – 3 of 3) sorted by relevance
227 DEFINE_XEN_GUEST_HANDLE(vcpu_time_info_t);230 XEN_GUEST_HANDLE(vcpu_time_info_t) h;
656 typedef struct vcpu_time_info vcpu_time_info_t; typedef
1088 const volatile vcpu_time_info_t *tinfo = &ci->ci_vcpu->time; in cpu_get_tsc_freq()