From 36b2cf932b8db4c33d3460508fd9065d1b25fc78 Mon Sep 17 00:00:00 2001 From: Adrian-Ken Rueegsegger Date: Fri, 24 Apr 2015 17:23:13 +0200 Subject: [PATCH] hw_x86_64: Initialize complete I/O APIC IRT entries Also set high 32 bits of I/O APIC redirection table entries. --- repos/base-hw/src/core/include/spec/x86/pic.h | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/repos/base-hw/src/core/include/spec/x86/pic.h b/repos/base-hw/src/core/include/spec/x86/pic.h index 7880063f2c..cc2933c8e3 100644 --- a/repos/base-hw/src/core/include/spec/x86/pic.h +++ b/repos/base-hw/src/core/include/spec/x86/pic.h @@ -97,8 +97,11 @@ class Genode::Pic : public Mmio { /* Remap all supported IRQs */ for (unsigned i = 0; i <= IRTE_COUNT; i++) { + uint64_t val = _create_irt_entry(i); + write(IOREDTBL + 2 * i + 1); + write(val >> 32); write(IOREDTBL + 2 * i); - write(_create_irt_entry(i)); + write(val & 0xffffffff); } };