132 start_info_t *xen_info;  variable
362 	if (pfn >= xen_info->nr_pages)  in ma_to_pa()
383 	if (pa < mfn_base || pfn >= xen_info->nr_pages)  in pa_to_ma()
385 	mfn = ((ulong_t *)xen_info->mfn_list)[pfn];  in pa_to_ma()
1006 	DBG(xen_info->mod_len);  in init_mem_alloc()
1007 	if (xen_info->mod_len > 0) {  in init_mem_alloc()
1008 		DBG(xen_info->mod_start);  in init_mem_alloc()
1010 		    (native_ptr_t)(uintptr_t)xen_info->mod_start;  in init_mem_alloc()
1011 		modules[0].bm_size = xen_info->mod_len;  in init_mem_alloc()
1021 	DBG(xen_info->mfn_list);  in init_mem_alloc()
1022 	DBG(xen_info->nr_pages);  in init_mem_alloc()
1023 	max_mem = (paddr_t)xen_info->nr_pages << MMU_PAGESHIFT;  in init_mem_alloc()
1046 	if (DOMAIN_IS_INITDOMAIN(xen_info)) {  in init_mem_alloc()
2084 	top_page_table = (paddr_t)(uintptr_t)xen_info->pt_base;  in build_page_tables()
2119 	if (!DOMAIN_IS_INITDOMAIN(xen_info)) {  in build_page_tables()
2278 	line = (char *)xen_info->cmd_line;  in dboot_loader_cmdline()
2367 	if (DOMAIN_IS_INITDOMAIN(xen_info)) {  in startup_kernel()
2681 	bi->bi_xen_start_info = (native_ptr_t)(uintptr_t)xen_info;  in startup_kernel()