Searched refs:paged_pages (Results 1 - 2 of 2) sorted by relevance
| /external/valgrind/include/vki/ | ||
| H A D | vki-xen-domctl.h | 142 vki_xen_uint64_aligned_t paged_pages; member in struct:vki_xen_domctl_getdomaininfo_00000007 161 vki_xen_uint64_aligned_t paged_pages; member in struct:vki_xen_domctl_getdomaininfo_00000008 181 vki_xen_uint64_aligned_t paged_pages; member in struct:vki_xen_domctl_getdomaininfo_00000009 |
| /external/valgrind/coregrind/m_syswrap/ | ||
| H A D | syswrap-xen.c | 1984 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000008, paged_pages); 2001 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000009, paged_pages); |
Completed in 93 milliseconds