void console_putc(int ch)
{
	__asc_xmit_char((char)ch);
}
示例#2
0
文件: main.c 项目: lorc/optee_os
void console_putc(int ch)
{
	if (!boot_is_completed)
		return;
	__asc_xmit_char((char)ch, console_base());
}