/* efi_cin_check() - check if keyboard input is available  */
static void efi_cin_check(void)
/* efi_cin_check() - check if keyboard input is available  */
static void efi_cin_check(void)
{
	efi_status_t ret;
	if (key_available) {
		efi_signal_event(efi_con_in.wait_for_key);
		return;
	}
	if (tstc()) {
		ret = efi_cin_read_key(&next_key);
		if (ret == EFI_SUCCESS) {
			key_available = true;
			efi_cin_notify();
			if (key_available)
				efi_signal_event(efi_con_in.wait_for_key);
		}
	}
}