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 11int 12main(int argc, char** argv) 13{ 14 int cpu = sched_getcpu(); 15 printf("cpu: %d\n", cpu); 16 return 0; 17} 18 19