+#if CONFIG_KERN_PRI
+ void proc_setPri(struct Process *proc, int pri);
+#else
+ INLINE void proc_setPri(UNUSED_ARG(struct Process *,proc), UNUSED_ARG(int, pri))
+ {
+ }
+#endif
+
+/** Global preemption disable nesting counter. */
+extern int preempt_forbid_cnt;
+