1 /* 2 * Copyright 2023, Jérôme Duval, jerome.duval@gmail.com. All rights reserved. 3 * Distributed under the terms of the MIT License. 4 */ 5 6 7 #include <sched.h> 8 #include <stdio.h> 9 10 11 int 12 main(int argc, char** argv) 13 { 14 int cpu = sched_getcpu(); 15 printf("cpu: %d\n", cpu); 16 return 0; 17 } 18 19