Lines Matching refs:cr3_page
767 struct page_info *cr3_page; in arch_set_info_guest() local
1040 cr3_page = get_page_from_gfn(d, cr3_gfn, NULL, P2M_ALLOC); in arch_set_info_guest()
1042 if ( !cr3_page ) in arch_set_info_guest()
1046 else if ( cr3_page == v->arch.old_guest_table ) in arch_set_info_guest()
1049 put_page(cr3_page); in arch_set_info_guest()
1056 rc = get_page_type_preemptible(cr3_page, in arch_set_info_guest()
1071 if ( cr3_page == current->arch.old_guest_table ) in arch_set_info_guest()
1072 cr3_page = NULL; in arch_set_info_guest()
1080 v->arch.guest_table = pagetable_from_page(cr3_page); in arch_set_info_guest()
1084 cr3_page = get_page_from_gfn(d, cr3_gfn, NULL, P2M_ALLOC); in arch_set_info_guest()
1086 if ( !cr3_page ) in arch_set_info_guest()
1090 rc = get_page_type_preemptible(cr3_page, PGT_root_page_table); in arch_set_info_guest()
1103 if ( cr3_page == current->arch.old_guest_table ) in arch_set_info_guest()
1104 cr3_page = NULL; in arch_set_info_guest()
1113 v->arch.guest_table_user = pagetable_from_page(cr3_page); in arch_set_info_guest()
1121 *l4tab = l4e_from_pfn(page_to_mfn(cr3_page), in arch_set_info_guest()
1127 if ( cr3_page ) in arch_set_info_guest()
1128 put_page(cr3_page); in arch_set_info_guest()