Searched refs:vcpu_time_info_t (Results 1 – 4 of 4) sorted by relevance
227 DEFINE_XEN_GUEST_HANDLE(vcpu_time_info_t);230 XEN_GUEST_HANDLE(vcpu_time_info_t) h;
650 typedef struct vcpu_time_info vcpu_time_info_t; typedef
578 XEN_GUEST_HANDLE(vcpu_time_info_t) time_info_guest;
1108 XEN_GUEST_HANDLE(vcpu_time_info_t) user_u = v->arch.time_info_guest; in update_secondary_system_time()
Completed in 13 milliseconds