nodecount         380 src/dps8/dps8_topo.c   uint32_t nodecount = maxnodes;
nodecount         381 src/dps8/dps8_topo.c   status_t status = get_cpu_topology_info(topology, &nodecount);
nodecount         384 src/dps8/dps8_topo.c     for (uint32_t i = 0; i < nodecount; i++) {