Searched refs:tot_pages (Results 1 – 3 of 3) sorted by relevance
57 int tot_pages; member237 addr, dom.domain_id, dom.tot_pages, dom.max_pages, dom.domain_flags, in domain()
273 uint64_t tot_pages; member
101 uint64_aligned_t tot_pages; member