Index: fusl/src/sched/sched_cpucount.c |
diff --git a/fusl/src/sched/sched_cpucount.c b/fusl/src/sched/sched_cpucount.c |
index 94aa259e6ad5ed163038bb67b3de25e69f93a9ac..040d804dcc14436d7fcf5cdae0a65239b03ca582 100644 |
--- a/fusl/src/sched/sched_cpucount.c |
+++ b/fusl/src/sched/sched_cpucount.c |
@@ -1,11 +1,12 @@ |
#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; |
+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; |
} |