MIPS_CIDFL_RMI_CORES_SHIFT
((LOG2_ ## ncores << MIPS_CIDFL_RMI_CORES_SHIFT) \
>> MIPS_CIDFL_RMI_CORES_SHIFT))