#define _GNU_SOURCE
#include <sched.h>

int __sched_cpucount(size_t size, const cpu_set_t* set) {
    size_t i, j, cnt = 0;
    const unsigned char* p = (const void*)set;
    for (i = 0; i < size; i++)
        for (j = 0; j < 8; j++)
            if (p[i] & (1 << j))
                cnt++;
    return cnt;
}