266 		DBG(memlists_used);  in sort_physinstall()
290 	DBG(bi->bi_phys_install);  in sort_physinstall()
311 	DBG(bi->bi_rsvdmem);  in build_rsvdmemlists()
654 	DBG(next_avail_addr);  in check_higher()
666 		DBG(mb_info->flags);  in dboot_loader_mmap_entries()
670 			DBG(mb_info->mmap_addr);  in dboot_loader_mmap_entries()
671 			DBG(mb_info->mmap_length);  in dboot_loader_mmap_entries()
874 	DBG(bi->bi_pcimem);  in build_pcimemlists()
898 	DBG(scratch_start);  in init_mem_alloc()
900 	DBG(scratch_end);  in init_mem_alloc()
907 	DBG(next_avail_addr);  in init_mem_alloc()
912 	DBG(xen_info->mod_len);  in init_mem_alloc()
914 		DBG(xen_info->mod_start);  in init_mem_alloc()
923 	DBG(bi->bi_module_cnt);  in init_mem_alloc()
924 	DBG(bi->bi_modules);  in init_mem_alloc()
926 	DBG(xen_info->mfn_list);  in init_mem_alloc()
927 	DBG(xen_info->nr_pages);  in init_mem_alloc()
929 	DBG(max_mem);  in init_mem_alloc()
935 	DBG(memlists[0].addr);  in init_mem_alloc()
937 	DBG(memlists[0].size);  in init_mem_alloc()
939 	DBG(memlists_used);  in init_mem_alloc()
1379 	DBG(bi->bi_modules);  in dboot_process_modules()
1381 	DBG(bi->bi_module_cnt);  in dboot_process_modules()
1453 		DBG(lower);  in dboot_process_mmap()
1457 		DBG(upper);  in dboot_process_mmap()
1470 		DBG(bi->bi_pcimem);  in dboot_process_mmap()
1679 	DBG((uintptr_t)top_page_table);  in build_page_tables()
1693 	DBG(ktext_phys);  in build_page_tables()
1694 	DBG(target_kernel_text);  in build_page_tables()
1695 	DBG(ksize);  in build_page_tables()
1696 	DBG(psize);  in build_page_tables()
1704 	DBG(bi->bi_pt_window);  in build_page_tables()
1707 	DBG(bi->bi_pte_to_pt_window);  in build_page_tables()
1959 	DBG((uintptr_t)bi);  in startup_kernel()
1961 	DBG((uintptr_t)mb_info);  in startup_kernel()
1962 	DBG((uintptr_t)mb2_info);  in startup_kernel()
1964 		DBG(mb2_info->mbi_total_size);  in startup_kernel()
1965 	DBG(bi->bi_acpi_rsdp);  in startup_kernel()
1978 	DBG(target_kernel_text);  in startup_kernel()
2016 		DBG(p.virt_start);  in startup_kernel()
2024 	DBG(mfn_base);  in startup_kernel()
2158 	DBG(pge_support);  in startup_kernel()
2159 	DBG(NX_support);  in startup_kernel()
2160 	DBG(largepage_support);  in startup_kernel()
2161 	DBG(amd64_support);  in startup_kernel()
2162 	DBG(top_level);  in startup_kernel()
2163 	DBG(pte_size);  in startup_kernel()
2164 	DBG(ptes_per_table);  in startup_kernel()
2165 	DBG(lpagesize);  in startup_kernel()
2181 	DBG(load_addr);  in startup_kernel()
2186 	DBG(ktext_phys);  in startup_kernel()
2197 	DBG(entry_addr_low);  in startup_kernel()
2206 	DBG(bi->bi_next_paddr);  in startup_kernel()
2208 	DBG(bi->bi_next_vaddr);  in startup_kernel()
2220 	DBG((uintptr_t)HYPERVISOR_shared_info);  in startup_kernel()
2227 	DBG(bi->bi_next_paddr);  in startup_kernel()
2229 	DBG(bi->bi_next_vaddr);  in startup_kernel()
2249 	DBG(bi->bi_kseg_size);  in startup_kernel()