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