1253 	addr = xen_start_info->pt_base;  in xen_pagetable_cleanhighmap()
1257 	xen_start_info->pt_base = (unsigned long)__va(__pa(xen_start_info->pt_base));  in xen_pagetable_cleanhighmap()
1893 static void __init check_pt_base(unsigned long *pt_base, unsigned long *pt_end,  in check_pt_base()  argument
1896 	if (*pt_base == PFN_DOWN(__pa(addr))) {  in check_pt_base()
1899 		(*pt_base)++;  in check_pt_base()
1923 	unsigned long pt_base, pt_end;  in xen_setup_kernel_pagetable()  local
1935 	pt_base = PFN_DOWN(__pa(xen_start_info->pt_base));  in xen_setup_kernel_pagetable()
1936 	pt_end = pt_base + xen_start_info->nr_pt_frames;  in xen_setup_kernel_pagetable()
1976 		init_level4_pgt[i] = ((pgd_t *)xen_start_info->pt_base)[i];  in xen_setup_kernel_pagetable()
2014 		check_pt_base(&pt_base, &pt_end, addr[i]);  in xen_setup_kernel_pagetable()
2017 	xen_pt_base = PFN_PHYS(pt_base);  in xen_setup_kernel_pagetable()
2018 	xen_pt_size = (pt_end - pt_base) * PAGE_SIZE;  in xen_setup_kernel_pagetable()
2250 	phys_addr_t pt_base, paddr;  in xen_find_pt_base()  local
2253 	pt_base = min(__pa(xen_start_info->pt_base), __pa(pmd));  in xen_find_pt_base()
2258 			pt_base = min(pt_base, paddr);  in xen_find_pt_base()
2261 	return pt_base;  in xen_find_pt_base()