61 static psetid_t g_pset = PS_NONE;  variable
234 	if (g_pset != PS_NONE)  in select_cpu()
252 	if (g_pset != PS_NONE)  in select_cpus()
281 	if (g_pset != PS_NONE)  in select_pset()
294 	g_pset = pset;  in select_pset()
297 	if (pset_info(g_pset, NULL, &g_pset_ncpus, g_pset_cpus) == -1)  in select_pset()
298 		fatal("invalid processor set: %d\n", g_pset);  in select_pset()
301 		fatal("processor set %d empty\n", g_pset);  in select_pset()
313 	if (g_pset == PS_NONE)  in check_pset()
316 	if (pset_info(g_pset, NULL, &ncpus, g_pset_cpus) == -1) {  in check_pset()
318 			fatal("processor set %d destroyed\n", g_pset);  in check_pset()
320 		fatal("couldn't get info for processor set %d", g_pset);  in check_pset()
324 		fatal("processor set %d empty\n", g_pset);  in check_pset()