619 	vaddr_t page, avail, map_end;  in xen_bootstrap_tables()  local
742 	page = KERNTEXTOFF;  in xen_bootstrap_tables()
744 		vaddr_t cur_page = page;  in xen_bootstrap_tables()
750 		while (pl2_pi(page) == pl2_pi(cur_page)) {  in xen_bootstrap_tables()
751 			if (page >= map_end) {  in xen_bootstrap_tables()
753 				pte[pl1_pi(page)] = 0;  in xen_bootstrap_tables()
754 				page += PAGE_SIZE;  in xen_bootstrap_tables()
757 			pte[pl1_pi(page)] = xpmap_ptom_masked(page - KERNBASE);  in xen_bootstrap_tables()
758 			if (page == (vaddr_t)HYPERVISOR_shared_info) {  in xen_bootstrap_tables()
759 				pte[pl1_pi(page)] = xen_start_info.shared_info;  in xen_bootstrap_tables()
761 			if ((xpmap_ptom_masked(page - KERNBASE) >> PAGE_SHIFT)  in xen_bootstrap_tables()
763 				xencons_interface = (void *)page;  in xen_bootstrap_tables()
764 				pte[pl1_pi(page)] = xen_start_info.console_mfn;  in xen_bootstrap_tables()
765 				pte[pl1_pi(page)] <<= PAGE_SHIFT;  in xen_bootstrap_tables()
767 			if ((xpmap_ptom_masked(page - KERNBASE) >> PAGE_SHIFT)  in xen_bootstrap_tables()
769 				xenstore_interface = (void *)page;  in xen_bootstrap_tables()
770 				pte[pl1_pi(page)] = xen_start_info.store_mfn;  in xen_bootstrap_tables()
771 				pte[pl1_pi(page)] <<= PAGE_SHIFT;  in xen_bootstrap_tables()
774 			if (page >= (vaddr_t)atdevbase &&  in xen_bootstrap_tables()
775 			    page < (vaddr_t)atdevbase + IOM_SIZE) {  in xen_bootstrap_tables()
776 				pte[pl1_pi(page)] =  in xen_bootstrap_tables()
777 				    IOM_BEGIN + (page - (vaddr_t)atdevbase);  in xen_bootstrap_tables()
778 				pte[pl1_pi(page)] |= xpmap_pg_nx;  in xen_bootstrap_tables()
782 			pte[pl1_pi(page)] |= PTE_P;  in xen_bootstrap_tables()
783 			if (page < (vaddr_t)&__rodata_start) {  in xen_bootstrap_tables()
785 			} else if (page >= (vaddr_t)&__rodata_start &&  in xen_bootstrap_tables()
786 			    page < (vaddr_t)&__data_start) {  in xen_bootstrap_tables()
788 				pte[pl1_pi(page)] |= xpmap_pg_nx;  in xen_bootstrap_tables()
789 			} else if (page >= old_pgd &&  in xen_bootstrap_tables()
790 			    page < old_pgd + (old_count * PAGE_SIZE)) {  in xen_bootstrap_tables()
792 				pte[pl1_pi(page)] |= xpmap_pg_nx;  in xen_bootstrap_tables()
793 			} else if (page >= new_pgd &&  in xen_bootstrap_tables()
794 			    page < new_pgd + ((new_count + PDIRSZ) * PAGE_SIZE)) {  in xen_bootstrap_tables()
796 				pte[pl1_pi(page)] |= xpmap_pg_nx;  in xen_bootstrap_tables()
798 			} else if (page == (vaddr_t)tmpgdt) {  in xen_bootstrap_tables()
803 				pte[pl1_pi(page)] = 0;  in xen_bootstrap_tables()
804 				page += PAGE_SIZE;  in xen_bootstrap_tables()
807 			} else if (page >= (vaddr_t)&__data_start &&  in xen_bootstrap_tables()
808 			    page < (vaddr_t)&__kernel_end) {  in xen_bootstrap_tables()
810 				pte[pl1_pi(page)] |= PTE_W | xpmap_pg_nx;  in xen_bootstrap_tables()
813 				pte[pl1_pi(page)] |= PTE_W | xpmap_pg_nx;  in xen_bootstrap_tables()
816 			page += PAGE_SIZE;  in xen_bootstrap_tables()
916 	page = old_pgd;  in xen_bootstrap_tables()
917 	addr = xpmap_mtop((paddr_t)L2[pl2_pi(page)] & PTE_4KFRAME);  in xen_bootstrap_tables()
919 	pte += pl1_pi(page);  in xen_bootstrap_tables()
920 	while (page < old_pgd + (old_count * PAGE_SIZE) && page < map_end) {  in xen_bootstrap_tables()
923 		page += PAGE_SIZE;  in xen_bootstrap_tables()
929 	while (page < old_pgd + (old_count * PAGE_SIZE)) {  in xen_bootstrap_tables()
932 		page += PAGE_SIZE;  in xen_bootstrap_tables()
942 xen_bt_set_readonly(vaddr_t page)  in xen_bt_set_readonly()  argument
946 	entry = xpmap_ptom_masked(page - KERNBASE);  in xen_bt_set_readonly()
949 	HYPERVISOR_update_va_mapping(page, entry, UVMF_INVLPG);  in xen_bt_set_readonly()
954 xen_set_user_pgd(paddr_t page)  in xen_set_user_pgd()  argument
962 	op.arg1.mfn = xpmap_ptom_masked(page) >> PAGE_SHIFT;  in xen_set_user_pgd()
965 			" directory %#" PRIxPADDR, page);  in xen_set_user_pgd()