Type Definition xen_sys::arch_vcpu_info_t

pub type arch_vcpu_info_t = arch_vcpu_info;