/* Prompt for input and read a line. If CONFIG_BOOT_RETRY_TIME is defined and retry_time >= 0, time out when time goes past endtime (timebase time in ticks). Return: number of read characters -1 if break -2 if timed out  */
int readline(const char *const prompt)
/* Prompt for input and read a line. If CONFIG_BOOT_RETRY_TIME is defined and retry_time >= 0, time out when time goes past endtime (timebase time in ticks). Return: number of read characters -1 if break -2 if timed out  */
int readline(const char *const prompt)
{
	console_buffer[0] = '\0';
	return readline_into_buffer(prompt, console_buffer);
}