| 65,6 → 65,9 |
|---|
| /**< Number of stored kernel log characters for uspace */ |
| static size_t klog_uspace = 0; |
| |
| /**< Silent output */ |
| static bool silent = false; |
| |
| /**< Kernel log spinlock */ |
| SPINLOCK_INITIALIZE(klog_lock); |
| |
| 144,6 → 147,18 |
|---|
| spinlock_unlock(&klog_lock); |
| } |
| |
| void grab_console(void) |
| { |
| silent = false; |
| arch_grab_console(); |
| } |
| |
| void release_console(void) |
| { |
| silent = true; |
| arch_release_console(); |
| } |
| |
| /** Get character from character device. Do not echo character. |
| * |
| * @param chardev Character device. |
| 253,7 → 268,7 |
|---|
| /* Print charaters stored in kernel log */ |
| index_t i; |
| for (i = klog_len - klog_stored; i < klog_len; i++) |
| stdout->op->write(stdout, klog[(klog_start + i) % KLOG_SIZE]); |
| stdout->op->write(stdout, klog[(klog_start + i) % KLOG_SIZE], silent); |
| klog_stored = 0; |
| } |
| |
| 265,7 → 280,7 |
|---|
| klog_start = (klog_start + 1) % KLOG_SIZE; |
| |
| if (stdout->op->write) |
| stdout->op->write(stdout, c); |
| stdout->op->write(stdout, c, silent); |
| else { |
| /* The character is just in the kernel log */ |
| if (klog_stored < klog_len) |