} resource_pid_t;
/**
- * @brief Start boosting cpu scheduler for designated pid/tids.
+ * @brief Start boosting cpu scheduler for the target process (pid/tids).
*
* @param[in] target_pid The target process pid/tids \n
The caller process itself if target_pid.pid is 0
*
* @return 0 on success, otherwise a negative error value.
*/
-int resource_start_boosting_cpu_sched (resource_pid_t target_pid, cpu_boosting_level_e level, int timeout_msec);
+int resource_start_cpu_sched_boosting (resource_pid_t target_pid, cpu_boosting_level_e level, int timeout_msec);
/**
- * @brief Stop boosting cpu scheduler for designated pid/tids.
+ * @brief Stop boosting cpu scheduler for the target process (pid/tids).
*
* @param[in] target_pid The target process (pid/tids) \n
*
* @return 0 on success, otherwise a negative error value.
*/
-int resource_stop_boosting_cpu_sched (resource_pid_t target_pid);
+int resource_stop_cpu_sched_boosting (resource_pid_t target_pid);
+
+/**
+ * @brief Ask for the cpu scheduler boosting level for the target thread (tid).
+ *
+ * @param[in] tid The thread id to check \n
+ * @param[out] boosting_level The boosting level (cpu_boosting_level_e) \n
+ *
+ * @return 0 on success, otherwise a negative error value.
+ */
+int resource_get_cpu_sched_boosting_level (int tid, cpu_boosting_level_e *boosting_level);
/**
* @brief Set cpu scheduler inheritance from the source tid to the destination process (pid/tids).