diff --git a/lib/isc/nothreads/include/isc/thread.h b/lib/isc/nothreads/include/isc/thread.h
index be5abd81a2a8ed13630dab0136af04ab923fbf85..6a0a944f8e269a6655739afac536150c28028218 100644
--- a/lib/isc/nothreads/include/isc/thread.h
+++ b/lib/isc/nothreads/include/isc/thread.h
@@ -20,7 +20,7 @@ void
 isc_thread_setconcurrency(unsigned int level);
 
 void
-isc_thread_setname(isc_thread_t, const char *);
+isc_thread_setname(isc_thread_t thread, const char *name);
 
 #define isc_thread_self() ((unsigned long)0)
 #define isc_thread_yield() ((void)0)
diff --git a/lib/isc/pthreads/include/isc/thread.h b/lib/isc/pthreads/include/isc/thread.h
index 09b400075ec9c13458d4ffe79e30359f93afcda0..2b43f9e5a29fde829e055eaf6c0a5fab433011e9 100644
--- a/lib/isc/pthreads/include/isc/thread.h
+++ b/lib/isc/pthreads/include/isc/thread.h
@@ -31,7 +31,7 @@ typedef isc_threadresult_t (*isc_threadfunc_t)(isc_threadarg_t);
 typedef pthread_key_t isc_thread_key_t;
 
 isc_result_t
-isc_thread_create(isc_threadfunc_t, isc_threadarg_t, isc_thread_t *);
+isc_thread_create(isc_threadfunc_t, isc_threadarg_t, isc_thread_t *name);
 
 void
 isc_thread_setconcurrency(unsigned int level);
@@ -40,7 +40,7 @@ void
 isc_thread_yield(void);
 
 void
-isc_thread_setname(isc_thread_t, const char *);
+isc_thread_setname(isc_thread_t thread, const char *);
 
 /* XXX We could do fancier error handling... */