Searched refs:vcpu_info_t (Results 1 – 3 of 3) sorted by relevance
60 DPCPU_DEFINE_STATIC(vcpu_info_t, vcpu_local_info) in xen_setup_vcpu_info()63 vcpu_info_t *vcpu_info = DPCPU_PTR(vcpu_local_info); in xen_setup_vcpu_info()
732 typedef struct vcpu_info vcpu_info_t; typedef
353 vcpu_info_t *v; in xen_intr_handle_upcall()