GEMINI_IPMQ_SIZE
KASSERT(GEMINI_IPMQ_SIZE == (2 * sizeof(ipm_queue_t)));
#define GEMINI_IPMQ_PEND (GEMINI_IPMQ_PBASE + GEMINI_IPMQ_SIZE)
GEMINI_IPMQ_SIZE, VM_PROT_READ|VM_PROT_WRITE, PTE_NOCACHE);