diff options
Diffstat (limited to '')
| -rw-r--r-- | cpukit/libcsupport/src/printk.c | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/cpukit/libcsupport/src/printk.c b/cpukit/libcsupport/src/printk.c index 21f077ef16..811132d041 100644 --- a/cpukit/libcsupport/src/printk.c +++ b/cpukit/libcsupport/src/printk.c @@ -74,9 +74,6 @@ vprintk(const char *fmt, va_list ap) { char c, *str; int lflag, base, sign, width, lead; - /* unsigned int level; */ - - /* _CPU_ISR_Disable(level); */ for (; *fmt != '\0'; fmt++) { @@ -132,8 +129,6 @@ vprintk(const char *fmt, va_list ap) BSP_output_char(*fmt); } } - /* _CPU_ISR_Enable(level); */ - } /* vprintk */ void |