/* Sends the 32-bit value specified by Value to a POST card, and returns Value. Some implementations of this library function may perform I/O operations directly to a POST card device. Other implementations may send Value to ReportStatusCode(), and the status code reporting mechanism will eventually display the 32-bit value on the status reporting device. */
UINT32 EFIAPI PostCode(IN UINT32 Value)
/* Sends the 32-bit value specified by Value to a POST card, and returns Value. Some implementations of this library function may perform I/O operations directly to a POST card device. Other implementations may send Value to ReportStatusCode(), and the status code reporting mechanism will eventually display the 32-bit value on the status reporting device. */
UINT32 EFIAPI PostCode(IN UINT32 Value)
{
  switch (PcdGet8 (PcdPort80DataWidth)) {
    case 8:
      IoWrite8 (0x80, (UINT8)(Value));
      break;
    case 16:
      IoWrite16 (0x80, (UINT16)(Value));
      break;
    case 32:
      IoWrite32 (0x80, Value);
      break;
    default:
      ASSERT (FALSE);
      break;
  }
  return Value;
}