Lines Matching refs:guest_vtable
184 v->arch.paging.shadow.guest_vtable in sh_walk_guest_tables()
226 l4p = (guest_l4e_t *)v->arch.paging.shadow.guest_vtable; in shadow_check_gwalk()
239 l2p = (guest_l2e_t *)v->arch.paging.shadow.guest_vtable; in shadow_check_gwalk()
3900 ASSERT(v->arch.paging.shadow.guest_vtable == NULL); in sh_detach_old_tables()
3902 if ( v->arch.paging.shadow.guest_vtable ) in sh_detach_old_tables()
3905 unmap_domain_page_global(v->arch.paging.shadow.guest_vtable); in sh_detach_old_tables()
3906 v->arch.paging.shadow.guest_vtable = NULL; in sh_detach_old_tables()
4075 if ( v->arch.paging.shadow.guest_vtable ) in sh_update_cr3()
4076 unmap_domain_page_global(v->arch.paging.shadow.guest_vtable); in sh_update_cr3()
4077 v->arch.paging.shadow.guest_vtable = map_domain_page_global(gmfn); in sh_update_cr3()
4080 BUG_ON(v->arch.paging.shadow.guest_vtable == NULL); in sh_update_cr3()
4083 v->arch.paging.shadow.guest_vtable = __linear_l4_table; in sh_update_cr3()
4088 ASSERT(v->arch.paging.shadow.guest_vtable == NULL); in sh_update_cr3()
4108 if ( v->arch.paging.shadow.guest_vtable ) in sh_update_cr3()
4109 unmap_domain_page_global(v->arch.paging.shadow.guest_vtable); in sh_update_cr3()
4110 v->arch.paging.shadow.guest_vtable = map_domain_page_global(gmfn); in sh_update_cr3()
4113 BUG_ON(v->arch.paging.shadow.guest_vtable == NULL); /* XXX */ in sh_update_cr3()
4116 v->arch.paging.shadow.guest_vtable = __linear_l2_table; in sh_update_cr3()