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

platform_drv: try enabling msi independent of gsi

Browse Source 
value written in pci config space.

Issue #2620
This commit is contained in:
Alexander Boettcher 2017-12-15 13:43:51 +01:00 committed by Norman Feske
parent 336140c5f1
commit fcadbc9023
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
repos/os/src/drivers/platform/spec/x86/irq.cc
View File

@ -193,10 +193,6 @@ Platform::Irq_session_component::Irq_session_component(unsigned irq,
:
_gsi(irq)
{
/* invalid irq number for pci_devices */
if (_gsi >= INVALID_IRQ)
return;
if (pci_config_space != ~0UL) {
/* msi way */
unsigned msi = irq_alloc.alloc_msi();
@ -219,6 +215,10 @@ Platform::Irq_session_component::Irq_session_component(unsigned irq,
}
}
/* invalid irq number for pci_devices */
if (_gsi >= INVALID_IRQ)
return;
Genode::Irq_session::Trigger trigger;
Genode::Irq_session::Polarity polarity;