pset_assign_forced
(Fflag && pset_assign_forced(pset, cpu, &old_pset) != 0)) {
extern int pset_assign_forced(psetid_t, processorid_t, psetid_t *);