Lines Matching refs:total_pages
287 d->arch.paging.hap.total_pages--; in hap_alloc_p2m_page()
322 d->arch.paging.hap.total_pages++; in hap_free_p2m_page()
332 unsigned int pg = d->arch.paging.hap.total_pages in hap_get_allocation()
354 if ( d->arch.paging.hap.total_pages < pages ) in hap_set_allocation()
364 d->arch.paging.hap.total_pages++; in hap_set_allocation()
367 else if ( d->arch.paging.hap.total_pages > pages ) in hap_set_allocation()
378 d->arch.paging.hap.total_pages--; in hap_set_allocation()
455 old_pages = d->arch.paging.hap.total_pages; in hap_enable()
540 if ( d->arch.paging.hap.total_pages != 0 ) in hap_final_teardown()
576 if ( d->arch.paging.hap.total_pages != 0 ) in hap_teardown()
583 ASSERT(d->arch.paging.hap.total_pages == 0); in hap_teardown()