/branches/network/kernel/generic/src/console/chardev.c |
---|
33,7 → 33,6 |
*/ |
#include <console/chardev.h> |
#include <putchar.h> |
#include <synch/waitq.h> |
#include <synch/spinlock.h> |
60,7 → 59,7 |
* @param ch Character being pushed. |
* |
*/ |
void indev_push_character(indev_t *indev, uint8_t ch) |
void indev_push_character(indev_t *indev, wchar_t ch) |
{ |
ASSERT(indev); |