Searched refs:paged_pages (Results 1 – 2 of 2) sorted by relevance
138 vki_xen_uint64_aligned_t paged_pages; member157 vki_xen_uint64_aligned_t paged_pages; member177 vki_xen_uint64_aligned_t paged_pages; member
1832 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000008, paged_pages); in POST()1849 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000009, paged_pages); in POST()