/* Tracing support. */
-#ifdef MAX_CPUS
+#if WITH_SMP
/* Return non-zero if tracing of IDX is enabled for CPU. */
#define TRACE_P(cpu,idx) \
trace_printf args; \
} while (0)
-#endif /* MAX_CPUS */
+#endif /* WITH_SMP */
extern void trace_printf PARAMS ((char *, ...));
/* Debug support. */
-#ifdef MAX_CPUS
+#if WITH_SMP
/* Return non-zero if debugging of IDX for CPU is enabled. */
#define DEBUG_P(cpu, idx) \
debug_printf args; \
} while (0)
-#endif /* MAX_CPUS */
+#endif /* WITH_SMP */
extern void debug_printf PARAMS ((char *, ...));