mmMME_SM_BASE_ADDRESS_HIGH
WREG32(mmMME_SM_BASE_ADDRESS_HIGH, so_base_hi);
mask |= 1 << ((mmMME_SM_BASE_ADDRESS_HIGH & 0x7F) >> 2);