| 2385 | #ifdef DDB |
| 2386 | |
| 2387 | static void |
| 2388 | ddb_display_bitset(const struct bitset *set, int size) |
| 2389 | { |
| 2390 | int bit, once; |
| 2391 | |
| 2392 | for (once = 0, bit = 0; bit < size; bit++) { |
| 2393 | if (CPU_ISSET(bit, set)) { |
| 2394 | if (once == 0) { |
| 2395 | db_printf("%d", bit); |
| 2396 | once = 1; |
| 2397 | } else |
| 2398 | db_printf(",%d", bit); |
| 2399 | } |
| 2400 | } |
| 2401 | if (once == 0) |
| 2402 | db_printf("<none>"); |
| 2403 | } |
| 2404 | |
| 2405 | void |
| 2406 | ddb_display_cpuset(const cpuset_t *set) |
no test coverage detected