Lines Matching defs:xen_info
119 start_info_t *xen_info;
307 if (pfn >= xen_info->nr_pages)
328 if (pa < mfn_base || pfn >= xen_info->nr_pages)
330 mfn = ((ulong_t *)xen_info->mfn_list)[pfn];
729 DBG(xen_info->mod_len);
730 if (xen_info->mod_len > 0) {
731 DBG(xen_info->mod_start);
732 modules[0].bm_addr = xen_info->mod_start;
733 modules[0].bm_size = xen_info->mod_len;
743 DBG(xen_info->mfn_list);
744 DBG(xen_info->nr_pages);
745 max_mem = (paddr_t)xen_info->nr_pages << MMU_PAGESHIFT;
768 if (DOMAIN_IS_INITDOMAIN(xen_info)) {
1307 top_page_table = (paddr_t)(uintptr_t)xen_info->pt_base;
1342 if (!DOMAIN_IS_INITDOMAIN(xen_info)) {
1421 cmdline = (char *)xen_info->cmd_line;
1434 if (DOMAIN_IS_INITDOMAIN(xen_info)) {
1708 bi->bi_xen_start_info = (uintptr_t)xen_info;