Rev 1705 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1705 | Rev 1780 | ||
---|---|---|---|
Line 57... | Line 57... | ||
57 | /** Push character read from input character device. |
57 | /** Push character read from input character device. |
58 | * |
58 | * |
59 | * @param chardev Character device. |
59 | * @param chardev Character device. |
60 | * @param ch Character being pushed. |
60 | * @param ch Character being pushed. |
61 | */ |
61 | */ |
62 | void chardev_push_character(chardev_t *chardev, __u8 ch) |
62 | void chardev_push_character(chardev_t *chardev, uint8_t ch) |
63 | { |
63 | { |
64 | spinlock_lock(&chardev->lock); |
64 | spinlock_lock(&chardev->lock); |
65 | chardev->counter++; |
65 | chardev->counter++; |
66 | if (chardev->counter == CHARDEV_BUFLEN - 1) { |
66 | if (chardev->counter == CHARDEV_BUFLEN - 1) { |
67 | /* buffer full => disable device interrupt */ |
67 | /* buffer full => disable device interrupt */ |