Home
last modified time | relevance | path

Searched refs:vcpu_info_t (Results 1 – 4 of 4) sorted by relevance

/xen/xen/include/xen/
A Dshared.h26 } vcpu_info_t; typedef
39 typedef struct vcpu_info vcpu_info_t; typedef
44 extern vcpu_info_t dummy_vcpu_info;
A Dsched.h154 vcpu_info_t *vcpu_info;
/xen/xen/common/
A Ddomain.c83 vcpu_info_t dummy_vcpu_info;
128 ? (vcpu_info_t *)&shared_info(d, vcpu_info[v->vcpu_id]) in vcpu_info_reset()
1236 vcpu_info_t *new_info; in map_vcpu_info()
1240 if ( offset > (PAGE_SIZE - sizeof(vcpu_info_t)) ) in map_vcpu_info()
1276 new_info = (vcpu_info_t *)(mapping + offset); in map_vcpu_info()
/xen/xen/include/public/
A Dxen.h732 typedef struct vcpu_info vcpu_info_t; typedef

Completed in 12 milliseconds