Searched refs:tot_pages (Results 1 – 2 of 2) sorted by relevance
139 vki_xen_uint64_aligned_t tot_pages; member158 vki_xen_uint64_aligned_t tot_pages; member177 vki_xen_uint64_aligned_t tot_pages; member
1967 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000007, tot_pages); in POST()1981 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000008, tot_pages); in POST()1997 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000009, tot_pages); in POST()