1 #ifndef INC_TASK_STUBS_H
2 #define INC_TASK_STUBS_H
3 
4 #include "FreeRTOS.h"
5 #include "task.h"
6 
7 BaseType_t xState;
8 void vInitTaskCheckForTimeOut( BaseType_t maxCounter,
9                                BaseType_t maxCounter_limit );
10 
11 #endif /* INC_TASK_STUBS_H */
12