Changeset 409 for trunk/kernel/kern/printk.h

Timestamp:

Dec 20, 2017, 4:51:09 PM (7 years ago)

Author:

alain

Message:

Fix bugs in exec

File:

• trunk/kernel/kern/printk.h (modified) (1 diff)

trunk/kernel/kern/printk.h

@@ -253 +253 @@
 #endif
 
+#if CONFIG_KILL_DEBUG
+#define kill_dmsg(...)   if(hal_time_stamp() > CONFIG_KILL_DEBUG) printk(__VA_ARGS__)
+#else
+#define kill_dmsg(...)
+#endif
+
 #if CONFIG_KINIT_DEBUG
 #define kinit_dmsg(...)   if(hal_time_stamp() > CONFIG_KINIT_DEBUG) printk(__VA_ARGS__)