/* Converts a PC Card device path structure to its string representative. */
VOID DevPathToTextPccard(IN OUT POOL_PRINT *Str, IN VOID *DevPath, IN BOOLEAN DisplayOnly, IN BOOLEAN AllowShortcuts)
/* Converts a PC Card device path structure to its string representative. */
VOID DevPathToTextPccard(IN OUT POOL_PRINT *Str, IN VOID *DevPath, IN BOOLEAN DisplayOnly, IN BOOLEAN AllowShortcuts)
{
  PCCARD_DEVICE_PATH  *Pccard;
  Pccard = DevPath;
  UefiDevicePathLibCatPrint (Str, L"PcCard(0x%x)", Pccard->FunctionNumber);
}