CMI_MAX_COREID
wsp->coreid >= CMI_MAX_COREID(wsp->core_nbits) &&
wsp->coreid = wsp->coreid & CMI_MAX_COREID(wsp->core_nbits);
(((wsp->coreid & CMI_MAX_COREID(wsp->core_nbits)) <<
((((coreid) & CMI_MAX_COREID(cmi_core_nbits)) << cmi_strand_nbits) |
coreid > CMI_MAX_COREID(cmi_core_nbits) ||
coreid > CMI_MAX_COREID(cmi_core_nbits) ||