Searched refs:p2m_pages (Results 1 – 3 of 3) sorted by relevance
288 d->arch.paging.hap.p2m_pages++; in hap_alloc_p2m_page()321 d->arch.paging.hap.p2m_pages--; in hap_free_p2m_page()333 + d->arch.paging.hap.p2m_pages; in hap_get_allocation()347 if ( pages < d->arch.paging.hap.p2m_pages ) in hap_set_allocation()350 pages -= d->arch.paging.hap.p2m_pages; in hap_set_allocation()547 ASSERT(d->arch.paging.hap.p2m_pages == 0); in hap_final_teardown()
100 unsigned int p2m_pages; /* number of pages allocates to p2m */ member162 unsigned int p2m_pages; /* number of pages allocates to p2m */ member
1249 d->arch.paging.shadow.p2m_pages); in _shadow_prealloc()1504 d->arch.paging.shadow.p2m_pages++; in shadow_alloc_p2m_page()1535 d->arch.paging.shadow.p2m_pages--; in shadow_free_p2m_page()1551 if ( pages < d->arch.paging.shadow.p2m_pages ) in shadow_set_allocation()1554 pages -= d->arch.paging.shadow.p2m_pages; in shadow_set_allocation()1619 + d->arch.paging.shadow.p2m_pages; in shadow_get_allocation()3311 d->arch.paging.shadow.p2m_pages); in shadow_final_teardown()3329 d->arch.paging.shadow.p2m_pages); in shadow_final_teardown()3395 d->arch.paging.shadow.p2m_pages); in shadow_one_bit_disable()3428 d->arch.paging.shadow.p2m_pages); in shadow_one_bit_disable()
Completed in 13 milliseconds