cmi_ntv_hwcoreid
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_hwcoreid(cp) == coreid &&
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_hwcoreid(cpu_t *);