From 39356889774515d9b7a34ebc197424c529abfb3a Mon Sep 17 00:00:00 2001
From: Niklas Eiling <niklas.eiling@eonerc.rwth-aachen.de>
Date: Sat, 10 Feb 2024 16:15:47 +0100
Subject: [PATCH] kernel/vfio_device: add logging output when pciMsiDeInit is
 called

Signed-off-by: Niklas Eiling <niklas.eiling@eonerc.rwth-aachen.de>
---
 common/lib/kernel/vfio_device.cpp | 2 ++
 1 file changed, 2 insertions(+)

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;