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