1. 37793a1 Type of second __sched_cpucount should be "const cpu_set_t*". by Tong Shen · 7 years ago
  2. b743790 Fix cpu_set_t by Calin Juravle · 11 years ago
  3. 72e6fd4 <sched.h>: Add sched_getcpu() and cpu_set_t by David 'Digit' Turner · 15 years ago