+#ifdef CORE_BINDING
+int xbt_os_thread_bind(xbt_os_thread_t thread, int cpu){
+ pthread_t pthread = thread->t;
+ int errcode = 0;
+ cpu_set_t cpuset;
+ CPU_ZERO(&cpuset);
+ CPU_SET(cpu, &cpuset);
+ errcode = pthread_setaffinity_np(pthread, sizeof(cpu_set_t), &cpuset);
+ return errcode;
+}
+#endif
+