Searched refs:pset_upper (Results 1 – 1 of 1) sorted by relevance
4586 uint_t pset_upper, pset_lower; in idn_domain_report() local4662 pset_upper = UPPER32_CPUMASK(dp->dcpuset); in idn_domain_report()4672 (void) sprintf(dbp, "0x%x.%x", pset_upper, pset_lower); in idn_domain_report()