diff --git a/include/croutine.h b/include/croutine.h
index 664e38b3764..40ac9765b13 100644
--- a/include/croutine.h
+++ b/include/croutine.h
@@ -47,8 +47,8 @@
 typedef void * CoRoutineHandle_t;
 
 /* Defines the prototype to which co-routine functions must conform. */
-typedef void (* crCOROUTINE_CODE)( CoRoutineHandle_t,
-                                   UBaseType_t );
+typedef void (* crCOROUTINE_CODE)( CoRoutineHandle_t xHandle,
+                                   UBaseType_t uxIndex );
 
 typedef struct corCoRoutineControlBlock
 {
diff --git a/include/projdefs.h b/include/projdefs.h
index 26f6e4f0cb1..370285d305c 100644
--- a/include/projdefs.h
+++ b/include/projdefs.h
@@ -33,7 +33,7 @@
  * Defines the prototype to which task functions must conform.  Defined in this
  * file to ensure the type is known before portable.h is included.
  */
-typedef void (* TaskFunction_t)( void * );
+typedef void (* TaskFunction_t)( void * arg );
 
 /* Converts a time in milliseconds to a time in ticks.  This macro can be
  * overridden by a macro of the same name defined in FreeRTOSConfig.h in case the
diff --git a/include/task.h b/include/task.h
index cb06c2370ca..26c32aa7284 100644
--- a/include/task.h
+++ b/include/task.h
@@ -96,7 +96,7 @@ typedef const struct tskTaskControlBlock   * ConstTaskHandle_t;
  * Defines the prototype to which the application task hook function must
  * conform.
  */
-typedef BaseType_t (* TaskHookFunction_t)( void * );
+typedef BaseType_t (* TaskHookFunction_t)( void * arg );
 
 /* Task states returned by eTaskGetState. */
 typedef enum
diff --git a/include/timers.h b/include/timers.h
index 054ec097fab..894087ec2fd 100644
--- a/include/timers.h
+++ b/include/timers.h
@@ -88,8 +88,8 @@ typedef void (* TimerCallbackFunction_t)( TimerHandle_t xTimer );
  * Defines the prototype to which functions used with the
  * xTimerPendFunctionCallFromISR() function must conform.
  */
-typedef void (* PendedFunction_t)( void *,
-                                   uint32_t );
+typedef void (* PendedFunction_t)( void * arg1,
+                                   uint32_t arg2 );
 
 /**
  * TimerHandle_t xTimerCreate(  const char * const pcTimerName,