sfmmu_ctx_t
size = sizeof (sfmmu_t) + sizeof (sfmmu_ctx_t) * (max_mmu_ctxdoms - 1);
sfmmu_ctx_t sfmmu_ctxs[1];