Searched refs:free_pages (Results 1 – 2 of 2) sorted by relevance
135 vki_xen_uint64_aligned_t free_pages; member151 vki_xen_uint64_aligned_t free_pages; member
1179 POST_XEN_SYSCTL_WRITE(physinfo_00000008, free_pages); in POST()1193 POST_XEN_SYSCTL_WRITE(physinfo_0000000a, free_pages); in POST()