void monitor_rename(Process *proc, const char *name);
#endif /* CONFIG_KERN_MONITOR */
-#if CONFIG_KERN_PREEMPT
+/*
+ * Quantum related macros are used in the
+ * timer module and must be empty when
+ * kernel is disabled.
+ */
+#if (CONFIG_KERN && CONFIG_KERN_PREEMPT)
INLINE int preempt_quantum(void)
{
extern int _proc_quantum;
extern int _proc_quantum;
_proc_quantum = CONFIG_KERN_QUANTUM;
}
-#else /* !CONFIG_KERN_PREEMPT */
+#else /* !(CONFIG_KERN && CONFIG_KERN_PREEMPT) */
INLINE int preempt_quantum(void)
{
return 0;
INLINE void preempt_reset_quantum(void)
{
}
-#endif /* CONFIG_KERN_PREEMPT */
+#endif /* (CONFIG_KERN && CONFIG_KERN_PREEMPT) */
#endif /* KERN_PROC_P_H */