Searched refs:getdomaininfo_00000009 (Results 1 – 2 of 2) sorted by relevance
| /external/valgrind/coregrind/m_syswrap/ |
| D | syswrap-xen.c | 1843 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000009, domain); in POST()
1844 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000009, flags); in POST()
1845 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000009, tot_pages); in POST()
1846 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000009, max_pages); in POST()
1847 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000009, outstanding_pages); in POST()
1848 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000009, shr_pages); in POST()
1849 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000009, paged_pages); in POST()
1850 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000009, shared_info_frame); in POST()
1851 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000009, cpu_time); in POST()
1852 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000009, nr_online_vcpus); in POST()
[all …]
|
| /external/valgrind/include/vki/ |
| D | vki-xen-domctl.h | 479 struct vki_xen_domctl_getdomaininfo_00000009 getdomaininfo_00000009; member
|