Searched refs:tot_pages (Results 1 – 2 of 2) sorted by relevance
135 vki_xen_uint64_aligned_t tot_pages; member154 vki_xen_uint64_aligned_t tot_pages; member173 vki_xen_uint64_aligned_t tot_pages; member
1815 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000007, tot_pages); in POST()1829 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000008, tot_pages); in POST()1845 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000009, tot_pages); in POST()