From ca7bcc2d80673b616c78a2216c3d8ede569ff9ad Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Fri, 24 Jan 2025 16:10:09 +0100 Subject: [PATCH] fixup "sel4: add MSI support for x86" Issue #5423 --- repos/base-sel4/src/core/irq_session_component.cc | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/repos/base-sel4/src/core/irq_session_component.cc b/repos/base-sel4/src/core/irq_session_component.cc index 9142af7511..be5beeb975 100644 --- a/repos/base-sel4/src/core/irq_session_component.cc +++ b/repos/base-sel4/src/core/irq_session_component.cc @@ -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) {