/kernel/trunk/generic/src/console/console.c |
---|
37,7 → 37,6 |
/** Standard input character device. */ |
chardev_t *stdin = NULL; |
chardev_t *stdout = NULL; |
/** Get string from character device. |
* |
85,12 → 84,7 |
spinlock_unlock(&chardev->lock); |
interrupts_restore(ipl); |
chardev->op->resume(chardev); |
chardev->op->resume(); |
return ch; |
} |
void putchar(char c) |
{ |
stdout->op->write(stdout, c); |
} |