Searched refs:getdomaininfo_00000008 (Results 1 – 2 of 2) sorted by relevance
| /external/valgrind/coregrind/m_syswrap/ |
| D | syswrap-xen.c | 1827 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000008, domain); in POST()
1828 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000008, flags); in POST()
1829 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000008, tot_pages); in POST()
1830 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000008, max_pages); in POST()
1831 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000008, shr_pages); in POST()
1832 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000008, paged_pages); in POST()
1833 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000008, shared_info_frame); in POST()
1834 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000008, cpu_time); in POST()
1835 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000008, nr_online_vcpus); in POST()
1836 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000008, max_vcpu_id); in POST()
[all …]
|
| /external/valgrind/include/vki/ |
| D | vki-xen-domctl.h | 478 struct vki_xen_domctl_getdomaininfo_00000008 getdomaininfo_00000008; member
|