[efi] Fix debug message when reading from EFI virtual files

Show the requested range when a caller reads from a virtual file via
the EFI_SIMPLE_FILE_SYSTEM_PROTOCOL interface.

Signed-off-by: Michael Brown <mcb30@ipxe.org>

diff --git a/src/interface/efi/efi_file.c b/src/interface/efi/efi_file.c
index fc64b369c23d99b912713c4af2cb0cd567e2b48c..7ed3ea5ac6e9ad83bbbea0e895182c6bd85a3736 100644 (file)
--- a/src/interface/efi/efi_file.c
+++ b/src/interface/efi/efi_file.c
@@ -528,7 +528,7 @@ static EFI_STATUS EFIAPI efi_file_read ( EFI_FILE_PROTOCOL *this,
 
        /* Read from the file */
        DBGC ( file, "EFIFILE %s read [%#08zx,%#08zx)\n",
-              efi_file_name ( file ), pos, file->pos );
+              efi_file_name ( file ), pos, ( ( size_t ) ( pos + *len ) ) );
        *len = file->read ( &reader );
        assert ( ( pos + *len ) == file->pos );