sbi_debug_console_write
int sbi_debug_console_write(const char *bytes, unsigned int num_bytes);
return sbi_debug_console_write(buf, count);
ret = sbi_debug_console_write(s, n);