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