1174 	addr = xen_start_info->pt_base;  in xen_pagetable_cleanhighmap()
1178 	xen_start_info->pt_base = (unsigned long)__va(__pa(xen_start_info->pt_base));  in xen_pagetable_cleanhighmap()
1651 static void __init check_pt_base(unsigned long *pt_base, unsigned long *pt_end,  in check_pt_base()  argument
1654 	if (*pt_base == PFN_DOWN(__pa(addr))) {  in check_pt_base()
1657 		(*pt_base)++;  in check_pt_base()
1680 	unsigned long pt_base, pt_end;  in xen_setup_kernel_pagetable()  local
1692 	pt_base = PFN_DOWN(__pa(xen_start_info->pt_base));  in xen_setup_kernel_pagetable()
1693 	pt_end = pt_base + xen_start_info->nr_pt_frames;  in xen_setup_kernel_pagetable()
1744 		init_top_pgt[i] = ((pgd_t *)xen_start_info->pt_base)[i];  in xen_setup_kernel_pagetable()
1782 		check_pt_base(&pt_base, &pt_end, addr[i]);  in xen_setup_kernel_pagetable()
1785 	xen_pt_base = PFN_PHYS(pt_base);  in xen_setup_kernel_pagetable()
1786 	xen_pt_size = (pt_end - pt_base) * PAGE_SIZE;  in xen_setup_kernel_pagetable()