Searched refs:guest_vtable (Results 1 – 2 of 2) sorted by relevance
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()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()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()[all …]
132 void *guest_vtable; member
Completed in 13 milliseconds