diff --git a/repos/base-hw/src/core/spec/x86_64/muen/platform_support.cc b/repos/base-hw/src/core/spec/x86_64/muen/platform_support.cc
index c7d18fa9d..f34b05a3e 100644
--- a/repos/base-hw/src/core/spec/x86_64/muen/platform_support.cc
+++ b/repos/base-hw/src/core/spec/x86_64/muen/platform_support.cc
@@ -72,6 +72,10 @@ bool Platform::get_msi_params(const addr_t mmconf, addr_t &address,
 		error("error retrieving Muen info for device with SID ", Hex(sid));
 		return false;
 	}
+	if (!dev_info.ir_count) {
+		error("device ", Hex(sid), " has no IRQ assigned");
+		return false;
+	}
 	if (!dev_info.msi_capable) {
 		error("device ", Hex(sid), " not configured for MSI");
 		return false;