pios_mutex, pios_queue, pios_semaphore, pios_thread: add doxygen function descriptions