Lines Matching refs:hap
255 pg = page_list_remove_head(&d->arch.paging.hap.freelist); in hap_alloc()
259 d->arch.paging.hap.free_pages--; in hap_alloc()
272 d->arch.paging.hap.free_pages++; in hap_free()
273 page_list_add_tail(pg, &d->arch.paging.hap.freelist); in hap_free()
287 d->arch.paging.hap.total_pages--; in hap_alloc_p2m_page()
288 d->arch.paging.hap.p2m_pages++; in hap_alloc_p2m_page()
321 d->arch.paging.hap.p2m_pages--; in hap_free_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()
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()
354 if ( d->arch.paging.hap.total_pages < pages ) in hap_set_allocation()
363 d->arch.paging.hap.free_pages++; in hap_set_allocation()
364 d->arch.paging.hap.total_pages++; in hap_set_allocation()
365 page_list_add_tail(pg, &d->arch.paging.hap.freelist); in hap_set_allocation()
367 else if ( d->arch.paging.hap.total_pages > pages ) in hap_set_allocation()
370 if ( page_list_empty(&d->arch.paging.hap.freelist) ) in hap_set_allocation()
375 pg = page_list_remove_head(&d->arch.paging.hap.freelist); in hap_set_allocation()
377 d->arch.paging.hap.free_pages--; in hap_set_allocation()
378 d->arch.paging.hap.total_pages--; in hap_set_allocation()
440 INIT_PAGE_LIST_HEAD(&d->arch.paging.hap.freelist); in hap_domain_init()
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()
547 ASSERT(d->arch.paging.hap.p2m_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()