61 static psetid_t g_pset = PS_NONE;  variable
233 	if (g_pset != PS_NONE)  in select_cpu()
251 	if (g_pset != PS_NONE)  in select_cpus()
280 	if (g_pset != PS_NONE)  in select_pset()
293 	g_pset = pset;  in select_pset()
296 	if (pset_info(g_pset, NULL, &g_pset_ncpus, g_pset_cpus) == -1)  in select_pset()
297 		fatal("invalid processor set: %d\n", g_pset);  in select_pset()
300 		fatal("processor set %d empty\n", g_pset);  in select_pset()
312 	if (g_pset == PS_NONE)  in check_pset()
315 	if (pset_info(g_pset, NULL, &ncpus, g_pset_cpus) == -1) {  in check_pset()
317 			fatal("processor set %d destroyed\n", g_pset);  in check_pset()
319 		fatal("couldn't get info for processor set %d", g_pset);  in check_pset()
323 		fatal("processor set %d empty\n", g_pset);  in check_pset()