*
* If pthread_setaffinity_np is not usable on that (non-gnu) platform, this function does nothing.
*/
-int xbt_os_thread_bind(xbt_os_thread_t thread, int cpu){
+int xbt_os_thread_bind(XBT_ATTRIB_UNUSED xbt_os_thread_t thread, XBT_ATTRIB_UNUSED int cpu)
+{
int errcode = 0;
#if HAVE_PTHREAD_SETAFFINITY
pthread_t pthread = thread->t;