Searched refs:shadow_mode_external (Results 1 – 3 of 3) sorted by relevance
45 #define shadow_mode_external(_d) (paging_mode_shadow(_d) && \ macro
808 ASSERT(shadow_mode_external(_dom)); \834 ASSERT(shadow_mode_external(_dom)); \897 int _xen = !shadow_mode_external(_dom); \966 if ( !shadow_mode_external(d) ) in sh_make_shadow()1465 if ( !shadow_mode_external(d) ) in validate_gl4e()3033 if ( !shadow_mode_external(d) || in sh_update_linear_entries()3184 ASSERT(shadow_mode_external(d)); in sh_update_cr3()3209 ASSERT(shadow_mode_external(d)); in sh_update_cr3()3241 if ( !shadow_mode_external(d) && !is_pv_32bit_domain(d) ) in sh_update_cr3()3341 if ( shadow_mode_external(d) ) in sh_update_cr3()[all …]
2081 if ( !(shadow_mode_external(d) in sh_remove_all_mappings()2380 ASSERT(shadow_mode_external(d)); in sh_update_paging_modes()2784 if ( shadow_mode_external(d) ) in shadow_vcpu_teardown()
Completed in 25 milliseconds