GEMINI_ALLMEM_SIZE
GEMINI_ALLMEM_PBASE + ((GEMINI_ALLMEM_SIZE - MEMSIZE) * 1024 * 1024),
(GEMINI_ALLMEM_SIZE - MEMSIZE) * 1024 * 1024,
GEMINI_ALLMEM_SIZE * 1024 * 1024, VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);