ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

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.
This commit is contained in:
Reto Buerki 2017-10-05 11:16:18 +02:00 committed by Christian Helmuth
parent 9e4ff8c196
commit 65f1100453
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
repos/base-hw/src/core/spec/x86_64/muen/platform_support.cc
View File

@ -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;