1 #ifndef _GNU_SOURCE
2 #define _GNU_SOURCE
3 #endif
4 #include <sched.h>
5 
6 int main(void)
7 {
8 	return sched_getcpu();
9 }
10