RISC-V specific#
syscalls_sbiPutChar
(syscalls_sbi_putchar
)#
GETFROMSTACK(ustack, char, c, 0);
syscalls_sbiPutChar
(syscalls_sbi_putchar
)#GETFROMSTACK(ustack, char, c, 0);
syscalls_sbiGetChar
(syscalls_sbi_getchar
)#