1 // SPDX-License-Identifier: GPL-2.0
2 #ifndef _GNU_SOURCE
3 #define _GNU_SOURCE
4 #endif
5 #include <sched.h>
6 
7 int main(void)
8 {
9 	return sched_getcpu();
10 }
11 
12 #undef _GNU_SOURCE
13