[efi] Dump details of any calls to our dummy block and disk I/O protocols

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

src/interface/efi/efi_file.c

 efi_file_open_volume ( EFI_SIMPLE_FILE_SYSTEM_PROTOCOL *filesystem __unused,
 		       EFI_FILE_PROTOCOL **file ) {
 
+	DBGC ( &efi_file_root, "EFIFILE open volume\n" );
 	*file = &efi_file_root.file;
 	return 0;
 }
 
 /** Dummy block I/O reset */
 static EFI_STATUS EFIAPI
-efi_block_io_reset ( EFI_BLOCK_IO_PROTOCOL *this __unused,
-		     BOOLEAN extended __unused ) {
+efi_block_io_reset ( EFI_BLOCK_IO_PROTOCOL *this __unused, BOOLEAN extended ) {
+
+	DBGC ( &efi_file_root, "EFIFILE block %sreset\n",
+	       ( extended ? "extended " : "" ) );
 	return 0;
 }
 
 /** Dummy block I/O read */
 static EFI_STATUS EFIAPI
-efi_block_io_read_blocks ( EFI_BLOCK_IO_PROTOCOL *this __unused,
-			   UINT32 MediaId __unused, EFI_LBA lba __unused,
-			   UINTN len __unused, VOID *data __unused ) {
+efi_block_io_read_blocks ( EFI_BLOCK_IO_PROTOCOL *this __unused, UINT32 MediaId,
+			   EFI_LBA lba, UINTN len, VOID *data ) {
+
+	DBGC ( &efi_file_root, "EFIFILE block read ID %#08x LBA %#08llx -> "
+	       "%p+%zx\n", MediaId, ( ( unsigned long long ) lba ),
+	       data, ( ( size_t ) len ) );
 	return EFI_NO_MEDIA;
 }
 
 /** Dummy block I/O write */
 static EFI_STATUS EFIAPI
 efi_block_io_write_blocks ( EFI_BLOCK_IO_PROTOCOL *this __unused,
-			    UINT32 MediaId __unused, EFI_LBA lba __unused,
-			    UINTN len __unused, VOID *data __unused ) {
+			    UINT32 MediaId, EFI_LBA lba, UINTN len,
+			    VOID *data ) {
+
+	DBGC ( &efi_file_root, "EFIFILE block write ID %#08x LBA %#08llx <- "
+	       "%p+%zx\n", MediaId, ( ( unsigned long long ) lba ),
+	       data, ( ( size_t ) len ) );
 	return EFI_NO_MEDIA;
 }
 
 /** Dummy block I/O flush */
 static EFI_STATUS EFIAPI
 efi_block_io_flush_blocks ( EFI_BLOCK_IO_PROTOCOL *this __unused ) {
+
+	DBGC ( &efi_file_root, "EFIFILE block flush\n" );
 	return 0;
 }
 
 /** Dummy block I/O media */
 static EFI_BLOCK_IO_MEDIA efi_block_io_media = {
 	.MediaId = EFI_MEDIA_ID_MAGIC,
-	.MediaPresent = 1,
-	.ReadOnly = 1,
+	.MediaPresent = TRUE,
+	.ReadOnly = TRUE,
 	.BlockSize = 1,
 };
 
 
 /** Dummy disk I/O read */
 static EFI_STATUS EFIAPI
-efi_disk_io_read_disk ( EFI_DISK_IO_PROTOCOL *this __unused,
-			UINT32 MediaId __unused, UINT64 offset __unused,
-			UINTN len __unused, VOID *data __unused ) {
+efi_disk_io_read_disk ( EFI_DISK_IO_PROTOCOL *this __unused, UINT32 MediaId,
+			UINT64 offset, UINTN len, VOID *data ) {
+
+	DBGC ( &efi_file_root, "EFIFILE disk read ID %#08x offset %#08llx -> "
+	       "%p+%zx\n", MediaId, ( ( unsigned long long ) offset ),
+	       data, ( ( size_t ) len ) );
 	return EFI_NO_MEDIA;
 }
 
 /** Dummy disk I/O write */
 static EFI_STATUS EFIAPI
-efi_disk_io_write_disk ( EFI_DISK_IO_PROTOCOL *this __unused,
-			 UINT32 MediaId __unused, UINT64 offset __unused,
-			 UINTN len __unused, VOID *data __unused ) {
+efi_disk_io_write_disk ( EFI_DISK_IO_PROTOCOL *this __unused, UINT32 MediaId,
+			 UINT64 offset, UINTN len, VOID *data ) {
+
+	DBGC ( &efi_file_root, "EFIFILE disk write ID %#08x offset %#08llx <- "
+	       "%p+%zx\n", MediaId, ( ( unsigned long long ) offset ),
+	       data, ( ( size_t ) len ) );
 	return EFI_NO_MEDIA;
 }