| 56,9 → 56,6 |
|---|
| |
| static bool kbd_disabled; |
| |
| static void ski_putchar(chardev_t *d, const char ch); |
| static int32_t ski_getchar(void); |
| |
| /** Display character on debug console |
| * |
| * Use SSC (Simulator System Call) to |
| 67,8 → 64,9 |
|---|
| * @param d Character device. |
| * @param ch Character to be printed. |
| */ |
| void ski_putchar(chardev_t *d, const char ch) |
| static void ski_putchar(chardev_t *d, const char ch, bool silent) |
| { |
| if (!silent) { |
| asm volatile ( |
| "mov r15 = %0\n" |
| "mov r32 = %1\n" /* r32 is in0 */ |
| 79,8 → 77,9 |
|---|
| ); |
| |
| if (ch == '\n') |
| ski_putchar(d, '\r'); |
| ski_putchar(d, '\r', false); |
| } |
| } |
| |
| /** Ask debug console if a key was pressed. |
| * |
| 91,7 → 90,7 |
|---|
| * |
| * @return ASCII code of pressed key or 0 if no key pressed. |
| */ |
| int32_t ski_getchar(void) |
| static int32_t ski_getchar(void) |
| { |
| uint64_t ch; |
| |