From c310e335aeb48bb056561da83bb3f6aede3d6a4e Mon Sep 17 00:00:00 2001 From: Adrian-Ken Rueegsegger Date: Fri, 19 Jun 2015 14:40:53 +0200 Subject: [PATCH] hw_x86_64: Enable more specialized setup_irq_mode() Move Platform::setup_irq_mode function from x86 platform_support.cc to x86_64 specific file. This will enable the upcoming x86_64_muen platform to provide a separate implementation. --- repos/base-hw/src/core/spec/x86/platform_support.cc | 9 --------- repos/base-hw/src/core/spec/x86_64/platform_support.cc | 9 +++++++++ 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/repos/base-hw/src/core/spec/x86/platform_support.cc b/repos/base-hw/src/core/spec/x86/platform_support.cc index 6a8106d09..146b54fa9 100644 --- a/repos/base-hw/src/core/spec/x86/platform_support.cc +++ b/repos/base-hw/src/core/spec/x86/platform_support.cc @@ -18,8 +18,6 @@ #include #include #include -#include -#include using namespace Genode; @@ -66,10 +64,3 @@ long Platform::irq(long const user_irq) if (user_irq) return user_irq + Board::VECTOR_REMAP_BASE; return Board::TIMER_VECTOR_USER; } - - -void Platform::setup_irq_mode(unsigned irq_number, unsigned trigger, - unsigned polarity) -{ - Kernel::pic()->ioapic.setup_irq_mode(irq_number, trigger, polarity); -} diff --git a/repos/base-hw/src/core/spec/x86_64/platform_support.cc b/repos/base-hw/src/core/spec/x86_64/platform_support.cc index 3d842e5b6..81aab6354 100644 --- a/repos/base-hw/src/core/spec/x86_64/platform_support.cc +++ b/repos/base-hw/src/core/spec/x86_64/platform_support.cc @@ -14,6 +14,8 @@ /* core includes */ #include #include +#include +#include using namespace Genode; @@ -26,3 +28,10 @@ Native_region * Platform::_core_only_mmio_regions(unsigned const i) }; return i < sizeof(_regions)/sizeof(_regions[0]) ? &_regions[i] : 0; } + + +void Platform::setup_irq_mode(unsigned irq_number, unsigned trigger, + unsigned polarity) +{ + Kernel::pic()->ioapic.setup_irq_mode(irq_number, trigger, polarity); +}