Searched refs:SBI_EXT_0_1_CONSOLE_PUTCHAR (Results 1 – 2 of 2) sorted by relevance
16 SBI_EXT_0_1_CONSOLE_PUTCHAR = 0x1, enumerator
77 sbi_ecall(SBI_EXT_0_1_CONSOLE_PUTCHAR, 0, ch, 0, 0, 0, 0, 0); in sbi_console_putchar()