From 65f1100453153616aac464249d5b78ffcedbefca Mon Sep 17 00:00:00 2001
From: Reto Buerki <reet@codelabs.ch>
Date: Thu, 5 Oct 2017 11:16:18 +0200
Subject: [PATCH] muen: Skip MSI setup for devices with no IRQ

The sinfo API now also exports PCI devices without logical IRQs.
Therefore, explicitly check interrupt count in get_msi_params() function
and ignore such devices.
---
 repos/base-hw/src/core/spec/x86_64/muen/platform_support.cc | 4 ++++
 1 file changed, 4 insertions(+)

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;