OPL_MAX_CORE_UNITS_PER_BOARD
max_mmu_ctxdoms = OPL_MAX_CORE_UNITS_PER_BOARD * max_boards;
return (OPL_MAX_CORE_UNITS_PER_BOARD);