/* Converts a File device path structure to its string representative. */
VOID DevPathToTextFilePath(IN OUT POOL_PRINT *Str, IN VOID *DevPath, IN BOOLEAN DisplayOnly, IN BOOLEAN AllowShortcuts)
/* Converts a File device path structure to its string representative. */
VOID DevPathToTextFilePath(IN OUT POOL_PRINT *Str, IN VOID *DevPath, IN BOOLEAN DisplayOnly, IN BOOLEAN AllowShortcuts)
{
  FILEPATH_DEVICE_PATH  *Fp;
  Fp = DevPath;
  UefiDevicePathLibCatPrint (Str, L"%s", Fp->PathName);
}