get_core_count     24 src/dps8/dps8_topo.h uint32_t get_core_count(void);
get_core_count   1930 src/simh/scp.c ncores = (unsigned int)get_core_count();