GEMINI_DRAM_BASE
PCI_CFG_REG_MEM_BASE((GEMINI_DRAM_BASE + (GEMINI_BUSBASE * 1024 * 1024)))
physical_start = GEMINI_DRAM_BASE;
kern_vtopdiff = KERNEL_BASE - GEMINI_DRAM_BASE;
uvm_page_physload(atop(GEMINI_DRAM_BASE), atop(KERNEL_BASE_phys),
atop(GEMINI_DRAM_BASE), atop(KERNEL_BASE_phys),