130 	return PFN_DOWN(maddr.maddr);  in arbitrary_virt_to_mfn()
820 		xen_do_pin(MMUEXT_PIN_L4_TABLE, PFN_DOWN(__pa(pgd)));  in __xen_pgd_pin()
825 				   PFN_DOWN(__pa(user_pgd)));  in __xen_pgd_pin()
834 	xen_do_pin(MMUEXT_PIN_L3_TABLE, PFN_DOWN(__pa(pgd)));  in __xen_pgd_pin()
934 	xen_do_pin(MMUEXT_UNPIN_TABLE, PFN_DOWN(__pa(pgd)));  in __xen_pgd_unpin()
942 				   PFN_DOWN(__pa(user_pgd)));  in __xen_pgd_unpin()
1326 		mfn = pfn_to_mfn(PFN_DOWN(cr3));  in __xen_write_cr3()
1784 	if (*pt_base == PFN_DOWN(__pa(addr))) {  in check_pt_base()
1789 	if (*pt_end == PFN_DOWN(__pa(addr))) {  in check_pt_base()
1818 	max_pfn_mapped = PFN_DOWN(__pa(xen_start_info->mfn_list));  in xen_setup_kernel_pagetable()
1820 	pt_base = PFN_DOWN(__pa(xen_start_info->pt_base));  in xen_setup_kernel_pagetable()
1871 				  PFN_DOWN(__pa_symbol(init_level4_pgt)));  in xen_setup_kernel_pagetable()
1874 		pin_pagetable_pfn(MMUEXT_UNPIN_TABLE, PFN_DOWN(__pa(pgd)));  in xen_setup_kernel_pagetable()
1907 	unsigned long pfn = PFN_DOWN(__pa(swapper_pg_dir));  in xen_write_cr3_init()
1934 			  PFN_DOWN(__pa(initial_page_table)));  in xen_write_cr3_init()
1948 	max_pfn_mapped = PFN_DOWN(__pa(xen_start_info->pt_base) +  in xen_setup_kernel_pagetable()
1965 	pin_pagetable_pfn(MMUEXT_UNPIN_TABLE, PFN_DOWN(__pa(pgd)));  in xen_setup_kernel_pagetable()
1968 			  PFN_DOWN(__pa(initial_page_table)));  in xen_setup_kernel_pagetable()
2003 		pte = pfn_pte(PFN_DOWN(__pa(dummy_mapping)), PAGE_KERNEL);  in xen_set_fixmap()
2013 		pte = pfn_pte(PFN_DOWN(__pa(dummy_mapping)), PAGE_KERNEL);  in xen_set_fixmap()