Searched refs:paging_mode_enabled (Results 1 – 7 of 7) sorted by relevance
874 if ( paging_mode_enabled(d) ) in paging_dump_domain_info()897 if ( paging_mode_enabled(v->domain) ) in paging_dump_vcpu_info()949 if ( likely(v && paging_mode_enabled(d) && paging_get_hostmode(v) != NULL) ) in paging_write_p2m_entry()963 ASSERT(paging_mode_enabled(d)); in paging_set_allocation()
76 #define paging_mode_enabled(_d) (!!(_d)->arch.paging.mode) macro
1447 (paging_mode_enabled(d) || in fixup_page_fault()1462 if ( paging_mode_enabled(d) && !paging_mode_external(d) ) in fixup_page_fault()
556 if ( paging_mode_enabled(v->domain) ) in update_cr3()2692 if ( likely(owner != NULL) && unlikely(paging_mode_enabled(owner)) ) in devalidate_page()6255 if ( paging_mode_enabled(v->domain) && in paging_invlpg()
1209 if ( paging_mode_enabled(d) ) in arch_set_info_guest()
575 if ( paging_mode_enabled(d) ) in hap_teardown()
709 if ( paging_mode_enabled(d) ) in dom0_construct_pv()
Completed in 23 milliseconds