Searched refs:getdomaininfo_00000007 (Results 1 – 2 of 2) sorted by relevance
| /external/valgrind/main/coregrind/m_syswrap/ |
| D | syswrap-xen.c | 1260 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000007, domain); in POST()
1261 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000007, flags); in POST()
1262 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000007, tot_pages); in POST()
1263 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000007, max_pages); in POST()
1264 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000007, shr_pages); in POST()
1265 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000007, shared_info_frame); in POST()
1266 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000007, cpu_time); in POST()
1267 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000007, nr_online_vcpus); in POST()
1268 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000007, max_vcpu_id); in POST()
1269 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000007, ssidref); in POST()
[all …]
|
| /external/valgrind/main/include/vki/ |
| D | vki-xen-domctl.h | 328 struct vki_xen_domctl_getdomaininfo_00000007 getdomaininfo_00000007; member
|