Searched refs:tot_pages (Results 1 – 2 of 2) sorted by relevance
105 vki_xen_uint64_aligned_t tot_pages; member124 vki_xen_uint64_aligned_t tot_pages; member143 vki_xen_uint64_aligned_t tot_pages; member
1262 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000007, tot_pages); in POST()1276 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000008, tot_pages); in POST()1291 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000009, tot_pages); in POST()