ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-12 05:41:36 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

arndale: centralize spec of interrupt names

Browse Source 
ref #874
This commit is contained in:
Martin Stein 2013-10-29 12:19:58 +01:00 committed by Norman Feske
parent 002a5b8978
commit ba1a82b485
5 changed files with 23 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
base/include/platform/arndale/drivers/board_base.h
View File

@ -56,6 +56,19 @@ namespace Genode
MCT_CLOCK = 24000000,
MCT_IRQ_L0 = 152,
/* USB */
USB_HOST20_IRQ = 103,
USB_DRD30_IRQ = 104,
/* SATA/AHCI */
SATA_IRQ = 147,
/* I2C */
I2C_HDMI_IRQ = 96,
/* SD card */
SDMMC0_IRQ = 107,
/* CPU cache */
CACHE_LINE_SIZE_LOG2 = 6,

5
dde_linux/src/lib/usb/arm/platform_arndale/platform.cc
View File

@ -12,6 +12,7 @@
*/
/* Genode */
#include <drivers/board_base.h>
#include <os/attached_io_mem_dataspace.h>
#include <io_mem_session/connection.h>
#include <regulator/consts.h>
@ -35,8 +36,8 @@ enum {
DWC3_BASE = 0x12000000,
DWC3_PHY_BASE = 0x12100000,
GPIO_BASE = 0x11400000,
EHCI_IRQ = 103,
DWC3_IRQ = 104,
EHCI_IRQ = Board_base::USB_HOST20_IRQ,
DWC3_IRQ = Board_base::USB_DRD30_IRQ,
};
static resource _ehci[] =

3
os/src/drivers/ahci/exynos5/ahci_driver.cc
View File

@ -23,6 +23,7 @@
#include <dataspace/client.h>
#include <regulator/consts.h>
#include <regulator_session/connection.h>
#include <drivers/board_base.h>
using namespace Genode;
@ -920,7 +921,7 @@ struct Sata_ahci : Attached_mmio
dbc_trials(50),
dbc_stable_trials(5),
p0_speed(SATA_3_MAX_SPEED),
p0_irq(147)
p0_irq(Genode::Board_base::SATA_IRQ)
{ }
/**

4
os/src/drivers/framebuffer/exynos5/driver.cc
View File

@ -19,6 +19,7 @@
#include <irq_session/connection.h>
#include <regulator_session/connection.h>
#include <os/attached_mmio.h>
#include <drivers/board_base.h>
using namespace Genode;
@ -557,7 +558,8 @@ class I2c_hdmi : public I2c_interface
/**
* Constructor
*/
I2c_hdmi() : I2c_interface(0x12ce0000, 96) { }
I2c_hdmi()
: I2c_interface(0x12ce0000, Genode::Board_base::I2C_HDMI_IRQ) { }
/**
* Stop HDMI PHY from operating

3
os/src/drivers/sd_card/exynos5/dwmmc.h
View File

@ -14,6 +14,7 @@
#ifndef _DWMMC_H_
#define _DWMMC_H_
#include <drivers/board_base.h>
#include <irq_session/connection.h>
#include <os/attached_ram_dataspace.h>
#include <util/mmio.h>
@ -492,7 +493,7 @@ struct Exynos5_msh_controller : private Dwmmc, Sd_card::Host_controller
public:
enum { IRQ_NUMBER = 107 };
enum { IRQ_NUMBER = Genode::Board_base::SDMMC0_IRQ };
Exynos5_msh_controller(Genode::addr_t const mmio_base, Delayer &delayer,
bool use_dma)