/* Reads an Unicode character from the input device. */
u16 efi_st_get_key(void)
/* Reads an Unicode character from the input device. */
u16 efi_st_get_key(void)
{
	struct efi_input_key input_key;
	efi_status_t ret;
	do {
		ret = con_in->read_key_stroke(con_in, &input_key);
	} while (ret == EFI_NOT_READY);
	return input_key.unicode_char;
}