/* Check keyboard controller status, if it is output buffer full and for auxiliary device. */
EFI_STATUS CheckForInput(VOID)
/* Check keyboard controller status, if it is output buffer full and for auxiliary device. */
EFI_STATUS CheckForInput(VOID)
{
  UINT8  Data;
  Data = IoRead8 (KBC_CMD_STS_PORT);
  if ((Data & (KBC_OUTB | KBC_AUXB)) != (KBC_OUTB | KBC_AUXB)) {
    return EFI_NOT_READY;
  }
  return EFI_SUCCESS;
}