GEMINI_ALLMEM_VBASE
return (void *)(GEMINI_ALLMEM_VBASE + ba);
GEMINI_ALLMEM_VBASE,
GEMINI_ALLMEM_VBASE + GEMINI_BUSBASE * 1024 * 1024,
pmap_map_chunk(l1_va, GEMINI_ALLMEM_VBASE, GEMINI_ALLMEM_PBASE,