wait_for_set
if (!wait_for_set(&procset, who))
if (!wait_for_set(&cpu_ready_set, who))
static int wait_for_set(cpuset_t *set, int who);