Searched refs:tot_pages (Results 1 – 3 of 3) sorted by relevance
56 int tot_pages; member240 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