Searched refs:old_guest_table (Results 1 – 3 of 3) sorted by relevance
1276 current->arch.old_guest_table = pg; in put_pt_page()1622 if ( current->arch.old_guest_table ) in promote_l3_table()1644 current->arch.old_guest_table = page; in promote_l3_table()3075 ASSERT(!current->arch.old_guest_table); in get_page_type_preemptible()3084 if ( !v->arch.old_guest_table ) in put_old_guest_table()3087 rc = _put_page_type(v->arch.old_guest_table, in put_old_guest_table()3107 put_page(v->arch.old_guest_table); in put_old_guest_table()3108 v->arch.old_guest_table = NULL; in put_old_guest_table()3180 v->arch.old_guest_table = page; in vcpu_destroy_pagetables()3855 else if ( curr->arch.old_guest_table ) in do_mmuext_op()[all …]
1108 else if ( cr3_page == v->arch.old_guest_table ) in arch_set_info_guest()1110 v->arch.old_guest_table = NULL; in arch_set_info_guest()1133 if ( cr3_page == current->arch.old_guest_table ) in arch_set_info_guest()1165 v->arch.old_guest_table = in arch_set_info_guest()1171 if ( cr3_page == current->arch.old_guest_table ) in arch_set_info_guest()
598 struct page_info *old_guest_table; /* partially destructed pagetable */ member
Completed in 17 milliseconds