diff --git a/model/idecontroller.cc b/model/idecontroller.cc
index de68f306..7e5c99ee 100644
--- a/model/idecontroller.cc
+++ b/model/idecontroller.cc
@@ -311,7 +311,7 @@ class IdeController : public StaticReceiver<IdeController>
     PCI_reset();
     reset_device();
     Logging::printf("Instanciated IDE controller with bdf %#x for disk '%s' with %#Lx sectors\n",
-                    bdf, params.name, params.sectors);
+                    bdf, params.name, (unsigned long long)params.sectors);
   }
 };