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