<dec f='src/src/sys/sys/pset.h' l='46' type='int pset_assign(psetid_t , cpuid_t , psetid_t * )'/>
