1. 72e6fd4 <sched.h>: Add sched_getcpu() and cpu_set_t by David 'Digit' Turner ยท 14 years ago