-#define THREAD_URGENCY_NONE 0 /* indicates that there is no currently runnable */
-#define THREAD_URGENCY_BACKGROUND 1 /* indicates that the thread is marked as a "background" thread */
-#define THREAD_URGENCY_NORMAL 2 /* indicates that the thread is marked as a "normal" thread */
-#define THREAD_URGENCY_REAL_TIME 3 /* indicates that the thread is marked as a "real-time" or urgent thread */
-#define THREAD_URGENCY_MAX 4 /* Marker */
-/* Returns the "urgency" of a thread (provided by scheduler) */
-extern int thread_get_urgency(
- thread_t thread,
- uint64_t *rt_period,
- uint64_t *rt_deadline);
-
-/* Tells the "urgency" of the just scheduled thread (provided by CPU PM) */
-extern void thread_tell_urgency(
- int urgency,
- uint64_t rt_period,
- uint64_t rt_deadline,
- uint64_t sched_latency,
- thread_t nthread);
-