disk/ahci: Fix device_map_range argument.

Argument is not used on x86, hence it's gone unnoticed.

Found by: Coverity scan.

diff --git a/grub-core/disk/ahci.c b/grub-core/disk/ahci.c
index 89365cd0925fc567f1cfb4ff3b83645fcea6d5bf..d6bdbddf68e62f23352a48bd7b9dd6a4ac6e0f13 100644 (file)
--- a/grub-core/disk/ahci.c
+++ b/grub-core/disk/ahci.c
@@ -198,7 +198,7 @@ grub_ahci_pciinit (grub_pci_device_t dev,
                    | GRUB_PCI_COMMAND_MEM_ENABLED);
 
   hba = grub_pci_device_map_range (dev, bar & GRUB_PCI_ADDR_MEM_MASK,
-                                  sizeof (hba));
+                                  sizeof (*hba));
   grub_dprintf ("ahci", "dev: %x:%x.%x\n", dev.bus, dev.device, dev.function);
 
   grub_dprintf ("ahci", "tfd[0]: %x\n",