cpupart_query_cpu
zone_pset_get(curproc->p_zone) != cpupart_query_cpu(c))
sarg.psetid = cpupart_query_cpu(c);
cpupart_query_cpu(cpu) != src) {
extern psetid_t cpupart_query_cpu(cpu_t *);
oldpset = cpupart_query_cpu(cp);