pset_destroy
if (pset_destroy(pset) != 0) {
extern int pset_destroy(psetid_t);
return (pset_destroy((psetid_t)arg1));