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