/* Ensure that whatever was written thru printk is displayed now  */
void posix_flush_stdout(void)
/* Ensure that whatever was written thru printk is displayed now  */
void posix_flush_stdout(void)
{
	if (n_pend) {
		stdout_buff[n_pend] = 0;
		posix_print_trace("%s", stdout_buff);
		n_pend = 0;
		stdout_buff[0] = 0;
	}
}