Searched refs:vcpu_info_t (Results 1 – 5 of 5) sorted by relevance
26 } vcpu_info_t; typedef39 typedef struct vcpu_info vcpu_info_t; typedef44 extern vcpu_info_t dummy_vcpu_info;
148 vcpu_info_t *vcpu_info;
76 vcpu_info_t dummy_vcpu_info;121 ? (vcpu_info_t *)&shared_info(d, vcpu_info[v->vcpu_id]) in vcpu_info_reset()1168 vcpu_info_t *new_info; in map_vcpu_info()1172 if ( offset > (PAGE_SIZE - sizeof(vcpu_info_t)) ) in map_vcpu_info()1199 new_info = (vcpu_info_t *)(mapping + offset); in map_vcpu_info()
249 vcpu_info_t *v = &s->vcpu_info[cpu]; in evtchn_interrupt()
692 typedef struct vcpu_info vcpu_info_t; typedef
Completed in 11 milliseconds