Symbol: in_pcblist_ncpus