/* Receives a character. Waits until a character is available.  */
static int ug_udbg_getc(void)
/* Receives a character. Waits until a character is available.  */
static int ug_udbg_getc(void)
{
	int ch;
	while ((ch = ug_getc()) == -1)
		barrier();
	return ch;
}