1#define _GNU_SOURCE
2#include <sched.h>
3
4int __sched_cpucount(size_t size, const cpu_set_t* set) {
5    size_t i, j, cnt = 0;
6    const unsigned char* p = (const void*)set;
7    for (i = 0; i < size; i++)
8        for (j = 0; j < 8; j++)
9            if (p[i] & (1 << j))
10                cnt++;
11    return cnt;
12}
13