denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

fixup "sel4: add MSI support for x86"

Browse Source 
Issue #5423
This commit is contained in:
Alexander Boettcher
2025-01-24 16:10:09 +01:00
committed by Christian Helmuth
parent 8e0fe39248
commit ca7bcc2d80
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
repos/base-sel4/src/core/irq_session_component.cc
View File

@@ -99,8 +99,9 @@ Irq_object::Irq_object(unsigned irq)
Irq_session_component::Irq_session_component(Range_allocator &irq_alloc,
const char *args)
:
_irq_number(Irq_args(args).irq_number() +
Irq_args(args).type() != TYPE_LEGACY ? Irq_object::MSI_OFFSET : 0),
_irq_number(unsigned(Irq_args(args).type() == TYPE_LEGACY ?
Irq_args(args).irq_number() :
Irq_args(args).irq_number() + Irq_object::MSI_OFFSET)),
_irq_alloc(irq_alloc),
_irq_object(_irq_number)
{