/* I/O work flow of outing 8042 Aux data. */
EFI_STATUS Out8042AuxData(IN UINT8 Data)
/* I/O work flow of outing 8042 Aux data. */
EFI_STATUS Out8042AuxData(IN UINT8 Data)
{
  EFI_STATUS  Status;
  Status = WaitInputEmpty (TIMEOUT);
  if (EFI_ERROR (Status)) {
    return Status;
  }
  IoWrite8 (KBC_CMD_STS_PORT, WRITE_AUX_DEV);
  Status = WaitInputEmpty (TIMEOUT);
  if (EFI_ERROR (Status)) {
    return Status;
  }
  IoWrite8 (KBC_DATA_PORT, Data);
  Status = WaitInputEmpty (TIMEOUT);
  if (EFI_ERROR (Status)) {
    return Status;
  }
  return EFI_SUCCESS;
}