ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-08 03:45:24 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

rpi: centralize spec of interrupt names

Browse Source 
ref #874
This commit is contained in:
Martin Stein 2013-10-29 16:19:21 +01:00 committed by Norman Feske
parent 493ea55a72
commit 7c70a9bf7d
2 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
base/include/platform/rpi/drivers/board_base.h
View File

@ -48,6 +48,9 @@ namespace Genode
IRQ_CONTROLLER_BASE = 0x2000b200,
IRQ_CONTROLLER_SIZE = 0x100,
/* timer */
TIMER_IRQ = 0,
SECURITY_EXTENSION = 0,
/* CPU cache */

6
os/src/drivers/timer/hw/rpi/platform_timer_base.h
View File

@ -17,6 +17,7 @@
/* Genode includes */
#include <os/attached_io_mem_dataspace.h>
#include <drivers/timer/sp804_base.h>
#include <drivers/board_base.h>
/*
* On the BCM2835, the timer is driven by the APB clock (250 MHz). The prescale
@ -27,8 +28,7 @@
* we open an IO_MEM session with a range smaller than page size as argument.
* The dataspace base address will correspond to 0x2000b000.
*/
enum { TIMER_IRQ = 0,
TIMER_MMIO_BASE = 0x2000b400,
enum { TIMER_MMIO_BASE = 0x2000b400,
TIMER_MMIO_OFFSET = 0x400,
TIMER_MMIO_SIZE = 0x100,
TIMER_CLOCK = 1984*1000 };
@ -38,7 +38,7 @@ struct Platform_timer_base
Genode::Attached_io_mem_dataspace,
Genode::Sp804_base<TIMER_CLOCK>
{
enum { IRQ = TIMER_IRQ };
enum { IRQ = Genode::Board_base::TIMER_IRQ };
Platform_timer_base() :
Attached_io_mem_dataspace(TIMER_MMIO_BASE, TIMER_MMIO_SIZE),