107 paddr_t ktext_phys;
120 static paddr_t next_avail_addr = 0;
130 static paddr_t scratch_end = 0;	/* we can't write all of mem here */
131 static paddr_t mfn_base;		/* addr corresponding to mfn_list[0] */
166 static paddr_t max_mem;			/* maximum memory address */
355 paddr_t
360 	paddr_t pa;  in ma_to_pa()
363 		return (-(paddr_t)1);  in ma_to_pa()
364 	pa = mfn_base + mmu_ptob((paddr_t)pfn) + pgoff;  in ma_to_pa()
377 pa_to_ma(paddr_t pa)  in pa_to_ma()
397 get_pteval(paddr_t table, uint_t index)  in get_pteval()
406 set_pteval(paddr_t table, uint_t index, uint_t level, x86pte_t pteval)  in set_pteval()
429 paddr_t
432 	paddr_t new_table = (paddr_t)(uintptr_t)mem_alloc(MMU_PAGESIZE);  in make_ptable()
453 map_pte(paddr_t table, uint_t index)  in map_pte()
477 #define	maddr_t paddr_t  in dump_tables()
605 map_pa_at_va(paddr_t pa, native_ptr_t va, uint_t level)  in map_pa_at_va()
668 check_higher(paddr_t a)  in check_higher()
979 	paddr_t	scratch_start;  in init_mem_alloc()
991 	scratch_start = RNDUP((paddr_t)(uintptr_t)&local, MMU_PAGESIZE);  in init_mem_alloc()
993 	scratch_end = RNDUP((paddr_t)scratch_start + 512 * 1024, TWO_MEG);  in init_mem_alloc()
1023 	max_mem = (paddr_t)xen_info->nr_pages << MMU_PAGESHIFT;  in init_mem_alloc()
1525 	check_higher((paddr_t)(uintptr_t)&_end);  in dboot_process_modules()
1702 static paddr_t
1705 	paddr_t addr = (paddr_t)(uintptr_t)NULL;  in dboot_multiboot1_highest_addr()
1709 		addr = ((paddr_t)((uintptr_t)cmdl + strlen(cmdl) + 1));  in dboot_multiboot1_highest_addr()
1713 		    ((paddr_t)(mb_info->mmap_addr + mb_info->mmap_length)));  in dboot_multiboot1_highest_addr()
1720 	paddr_t addr;  in dboot_multiboot_highest_addr()
1725 		if (addr != (paddr_t)(uintptr_t)NULL)  in dboot_multiboot_highest_addr()
1730 		if (addr != (paddr_t)(uintptr_t)NULL)  in dboot_multiboot_highest_addr()
2084 	top_page_table = (paddr_t)(uintptr_t)xen_info->pt_base;  in build_page_tables()
2086 	top_page_table = (paddr_t)(uintptr_t)mem_alloc(MMU_PAGESIZE);  in build_page_tables()