diff --git a/common/lib/kernel/vfio_device.cpp b/common/lib/kernel/vfio_device.cpp
index 2344098a7..02da4c898 100644
--- a/common/lib/kernel/vfio_device.cpp
+++ b/common/lib/kernel/vfio_device.cpp
@@ -293,6 +293,8 @@ int Device::pciMsiInit(int efds[]) {
 }
 
 int Device::pciMsiDeinit(int efds[]) {
+  logging.get("Device")->debug("Deinitializing MSI interrupts for device {}",
+                               name);
   // Check if this is really a vfio-pci device
   if (not isVfioPciDevice())
     return -1;