| 33,16 → 33,12 |
|---|
| static chardev_t ski_console; |
| static bool kb_disable; |
| |
| static void ski_write(chardev_t *d, const char ch); |
| static __s32 ski_getchar(void); |
| |
| /** Display character on debug console |
| * |
| * Use SSC (Simulator System Call) to |
| * display character on debug console. |
| * |
| * @param d Character device. |
| * @param ch Character to be printed. |
| * @param ch Character to be printed. |
| */ |
| void ski_write(chardev_t *d, const char ch) |
| { |
| 55,8 → 51,7 |
|---|
| : "r15", "in0", "r8" |
| ); |
| |
| if (ch == '\n') |
| ski_write(d, '\r'); |
| if (ch == '\n') ski_putchar('\r'); |
| } |
| |
| /** Ask debug console if a key was pressed. |
| 101,7 → 96,7 |
|---|
| } |
| |
| /* Called from getc(). */ |
| static void ski_kb_enable(chardev_t *d) |
| static void ski_kb_enable(chardev_t *) |
| { |
| kb_disable = false; |
| } |