alex/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

panda: centralize spec of interrupt names

Browse Source 
ref #874
This commit is contained in:
Martin Stein
2013-10-29 15:31:28 +01:00
committed by Norman Feske
parent 7e294a39f4
commit cc17d82d92
4 changed files with 17 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
os/src/drivers/sd_card/omap4/mmchs.h
View File

@@ -18,6 +18,7 @@
#include <util/mmio.h>
#include <os/attached_ram_dataspace.h>
#include <irq_session/connection.h>
#include <drivers/board_base.h>
/* local includes */
#include <sd_card.h>
@@ -749,7 +750,7 @@ struct Omap4_hsmmc_controller : private Mmchs, public Sd_card::Host_controller
public:
enum { IRQ_NUMBER = 83 + 32 };
enum { IRQ_NUMBER = Genode::Board_base::HSMMC_IRQ };
/**
* Constructor

3
os/src/drivers/timer/hw/omap4/platform_timer_base.h
View File

@@ -248,14 +248,13 @@ class Platform_timer_base : public Genode::Io_mem_connection,
{
/* FIXME these should be located in a omap4-defs file */
enum {
GP_TIMER_3_IRQ = 71,
GP_TIMER_3_MMIO_BASE = 0x48034000,
GP_TIMER_3_MMIO_SIZE = 0x00001000,
};
public:
enum { IRQ = GP_TIMER_3_IRQ };
enum { IRQ = Genode::Board_base::GP_TIMER_3_IRQ };
/**
* Constructor