Type Definition xen_sys::vcpu_time_info_t

pub type vcpu_time_info_t = vcpu_time_info;