/* I/O work flow of in 8042 Aux data. */
EFI_STATUS In8042AuxData(IN OUT UINT8 *Data)
/* I/O work flow of in 8042 Aux data. */
EFI_STATUS In8042AuxData(IN OUT UINT8 *Data)
{
  EFI_STATUS  Status;
  Status = WaitOutputFull (BAT_TIMEOUT);
  if (EFI_ERROR (Status)) {
    return Status;
  }
  *Data = IoRead8 (KBC_DATA_PORT);
  return EFI_SUCCESS;
}