Lines Matching refs:total_pages
1247 d->arch.paging.shadow.total_pages, in _shadow_prealloc()
1489 if ( d->arch.paging.shadow.total_pages in shadow_alloc_p2m_page()
1505 d->arch.paging.shadow.total_pages--; in shadow_alloc_p2m_page()
1536 d->arch.paging.shadow.total_pages++; in shadow_free_p2m_page()
1564 d->arch.paging.shadow.total_pages, pages); in shadow_set_allocation()
1568 if ( d->arch.paging.shadow.total_pages < pages ) in shadow_set_allocation()
1579 d->arch.paging.shadow.total_pages++; in shadow_set_allocation()
1586 else if ( d->arch.paging.shadow.total_pages > pages ) in shadow_set_allocation()
1598 d->arch.paging.shadow.total_pages--; in shadow_set_allocation()
1618 unsigned int pg = d->arch.paging.shadow.total_pages in shadow_get_allocation()
3089 old_pages = d->arch.paging.shadow.total_pages; in shadow_enable()
3240 if ( d->arch.paging.shadow.total_pages != 0 ) in shadow_teardown()
3252 ASSERT(d->arch.paging.shadow.total_pages == 0); in shadow_teardown()
3309 d->arch.paging.shadow.total_pages, in shadow_final_teardown()
3316 if ( d->arch.paging.shadow.total_pages != 0 ) in shadow_final_teardown()
3327 d->arch.paging.shadow.total_pages, in shadow_final_teardown()
3346 if ( d->arch.paging.shadow.total_pages == 0 ) in shadow_one_bit_enable()
3393 d->arch.paging.shadow.total_pages, in shadow_one_bit_disable()
3426 d->arch.paging.shadow.total_pages, in shadow_one_bit_disable()
3545 if ( likely(d->arch.paging.shadow.total_pages != 0) ) in shadow_write_p2m_entry()