Searched refs:p2m_pages (Results 1 – 3 of 3) sorted by relevance
282 d->arch.paging.hap.p2m_pages++; in hap_alloc_p2m_page()316 d->arch.paging.hap.p2m_pages--; in hap_free_p2m_page()327 + d->arch.paging.hap.p2m_pages; in hap_get_allocation()341 if ( pages < d->arch.paging.hap.p2m_pages ) in hap_set_allocation()344 pages -= d->arch.paging.hap.p2m_pages; in hap_set_allocation()561 ASSERT(d->arch.paging.hap.p2m_pages == 0); in hap_final_teardown()
101 unsigned int p2m_pages; /* number of pages allocated to p2m */ member171 unsigned int p2m_pages; /* number of pages allocated to p2m */ member
986 d->arch.paging.shadow.p2m_pages); in _shadow_prealloc()1229 d->arch.paging.shadow.p2m_pages, in shadow_alloc_p2m_page()1238 d->arch.paging.shadow.p2m_pages++; in shadow_alloc_p2m_page()1270 d->arch.paging.shadow.p2m_pages--; in shadow_free_p2m_page()1287 d->arch.paging.shadow.p2m_pages); in sh_min_allocation()1303 pages -= d->arch.paging.shadow.p2m_pages; in shadow_set_allocation()1362 + d->arch.paging.shadow.p2m_pages; in shadow_get_allocation()2833 d->arch.paging.shadow.p2m_pages); in shadow_final_teardown()2851 d->arch.paging.shadow.p2m_pages); in shadow_final_teardown()2920 d->arch.paging.shadow.p2m_pages); in shadow_one_bit_disable()[all …]
Completed in 19 milliseconds