Here is a list of all documented typedefs with links to the documentation:

• mutex_t : rtos.h
• task_fn_t : rtos.h
• task_t : rtos.h