diff options
| author | Atish Patra <atish.patra@wdc.com> | 2019-02-28 04:42:17 +0300 |
|---|---|---|
| committer | Anup Patel <anup@brainfault.org> | 2019-03-05 11:35:12 +0300 |
| commit | 86cc9b8633bea3bc6fbda145424f871ea553af9e (patch) | |
| tree | dd63e0eee35ed225059db03f36405842715792bb /platform/template | |
| parent | 05602e2bf4812533adcb7acb1a67e43726c0e7bb (diff) | |
| download | opensbi-86cc9b8633bea3bc6fbda145424f871ea553af9e.tar.xz | |
lib:platform: Fix sbi_getc return type.
As per the current SBI specification, sbi_getc should return
an int instead of char.
In case of FIFO is empty, return -1 as per the specification.
Reported-by: Sergi Granell <xerpi.g.12@gmail.com>
Suggested-by:Thadeu Lima de Souza Cascardo <cascardo@cascardo.eti.br>
Signed-off-by: Atish Patra <atish.patra@wdc.com>
Diffstat (limited to 'platform/template')
| -rw-r--r-- | platform/template/platform.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/platform/template/platform.c b/platform/template/platform.c index e7a70aa..c14398f 100644 --- a/platform/template/platform.c +++ b/platform/template/platform.c @@ -73,7 +73,7 @@ static void platform_console_putc(char ch) /* * Read a character from the platform console input. */ -static char platform_console_getc(void) +static int platform_console_getc(void) { return uart8250_getc(); } |