sh_bios_console_write
extern void sh_bios_console_write(const char *buf, unsigned int len);
sh_bios_console_write(s, count);