Lines Matching refs:ncpus
757 unsigned int ncpus = 0;
763 ncpus++;
765 return(ncpus);
1453 unsigned int ncpus = 0;
1493 ncpus = 1;
1507 ncpus++;
1513 DBG("mp_kdp_enter() waiting for (%d) processors to suspend\n", ncpus);
1521 tsc_timeout = rdtsc64() + (ncpus * 1000 * 1000 * 10ULL);
1526 while (mp_kdp_ncpus != ncpus && rdtsc64() < tsc_timeout) {
1539 if (mp_kdp_ncpus != ncpus) {
1556 (int)mp_kdp_ncpus, (mp_kdp_ncpus == ncpus) ? "OK" : "timed out");