pmap_active_cpus
pmap_active_cpus(vmspace_pmap(p->p_vmspace), &cs);
void pmap_active_cpus(pmap_t pmap, cpuset_t *res);