interrupt by clearing `sie.STIE` CSR bit. This SBI call returns 0 upon success or an implementation specific negative error code. === Extension: Console Putchar (EID #0x01) [source, C] --- long sbi_console_putchar(int ch) --- Write data present in *ch* to debug console. Unlike...