ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-19 13:47:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

hw_x86_64: Enable more specialized setup_irq_mode()

Browse Source 
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.
This commit is contained in:
Adrian-Ken Rueegsegger 2015-06-19 14:40:53 +02:00 committed by Stefan Kalkowski
parent dcd20f1566
commit c310e335ae
2 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
repos/base-hw/src/core/spec/x86/platform_support.cc
View File

@ -18,8 +18,6 @@
#include <platform.h>
#include <board.h>
#include <cpu.h>
#include <pic.h>
#include <kernel/kernel.h>
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);
}

9
repos/base-hw/src/core/spec/x86_64/platform_support.cc
View File

@ -14,6 +14,8 @@
/* core includes */
#include <platform.h>
#include <board.h>
#include <pic.h>
#include <kernel/kernel.h>
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);
}