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();