Searched refs:paging_mode_enabled (Results 1 – 7 of 7) sorted by relevance
877 if ( paging_mode_enabled(d) ) in paging_dump_domain_info()898 if ( paging_mode_enabled(v->domain) ) in paging_dump_vcpu_info()946 if ( likely(v && paging_mode_enabled(d) && paging_get_hostmode(v) != NULL) ) in paging_write_p2m_entry()956 ASSERT(paging_mode_enabled(d)); in paging_set_allocation()
63 #define paging_mode_enabled(_d) (!!(_d)->arch.paging.mode) macro
561 if ( paging_mode_enabled(d) ) in hap_teardown()
1329 (paging_mode_enabled(d) || in fixup_page_fault()1344 if ( paging_mode_enabled(d) && !paging_mode_external(d) ) in fixup_page_fault()
526 if ( paging_mode_enabled(v->domain) ) in update_cr3()2369 if ( likely(owner != NULL) && unlikely(paging_mode_enabled(owner)) ) in free_page_type()5551 if ( paging_mode_enabled(v->domain) && in paging_invlpg()
1141 if ( paging_mode_enabled(d) ) in arch_set_info_guest()
718 if ( paging_mode_enabled(d) ) in dom0_construct_pv()
Completed in 21 milliseconds