)\r
{\r
UINT64 DeviceSize;\r
-\r
+ UINTN Index;\r
+ UINTN Max;\r
+ EFI_OPEN_FILE *FsFile;\r
\r
if (File == NULL) {\r
return;\r
}\r
\r
AsciiPrint (" %a: ", File->DeviceName);\r
+\r
+ // print out name of file system, if any, on this block device\r
+ Max = EfiGetDeviceCounts (EfiOpenFileSystem);\r
+ if (Max != 0) {\r
+ for (Index = 0; Index < Max; Index++) {\r
+ FsFile = EfiDeviceOpenByType (EfiOpenFileSystem, Index);\r
+ if (FsFile != NULL) {\r
+ if (FsFile->EfiHandle == File->EfiHandle) {\r
+ AsciiPrint ("fs%d: ", Index);\r
+ EfiClose (FsFile);\r
+ break;\r
+ }\r
+ }\r
+ EfiClose (FsFile);\r
+ }\r
+ }\r
+\r
+ // Print out useful Block IO media properties\r
if (File->FsBlockIoMedia.RemovableMedia) {\r
AsciiPrint ("Removable ");\r
}\r
EfiClose (File);\r
}\r
\r
-\r
/**\r
Print information about the Load File devices.\r
If the device supports PXE dump out extra information\r