cmi_ntv_hwstrandid
cmi_ntv_hwcoreid(cp), cmi_ntv_hwstrandid(cp));
cmi_ntv_hwcoreid(CPU), cmi_ntv_hwstrandid(CPU))) == NULL ||
cmi_ntv_hwcoreid(CPU), cmi_ntv_hwstrandid(CPU))) == NULL ||
cmi_ntv_hwstrandid(cp) == strandid) {
cmi_ntv_hwcoreid(cp), cmi_ntv_hwstrandid(cp))) != NULL) {
cmi_ntv_hwcoreid(CPU), cmi_ntv_hwstrandid(CPU))) != NULL) {
cmi_ntv_hwcoreid(cp), cmi_ntv_hwstrandid(cp));
cmi_ntv_hwcoreid(cp), cmi_ntv_hwstrandid(cp));
cmi_ntv_hwcoreid(CPU), cmi_ntv_hwstrandid(CPU))) != NULL) {
extern uint_t cmi_ntv_hwstrandid(cpu_t *);