Subversion Repositories c0or1k

/*

 * Describes physical memory layout of EB platform.

 *

 * This only include physical and memory offsets that

 * are not included in realview/offsets.h

 *

 * Copyright (C) 2009 B Labs Ltd.

 */

#ifndef __PLATFORM_PBA8_OFFSETS_H__

#define __PLATFORM_PBA8_OFFSETS_H__

#include <l4/platform/realview/offsets.h>

/*

 * These bases taken from where kernel is `physically' linked at,

 * also used to calculate virtual-to-physical translation offset.

 * See the linker script for their sources. PHYS_ADDR_BASE can't

 * use a linker variable because it's referred from assembler.

 */

#define PHYS_ADDR_BASE                  0x100000

/* Device offsets in physical memory */

#define PLATFORM_TIMER2_BASE            0x10018000 /* Timers 4 and 5 */

#define PLATFORM_TIMER3_BASE            0x10019000 /* Timers 6 and 7 */

#define PLATFORM_SYSCTRL1_BASE          0x1001A000 /* System controller1 */

#define PLATFORM_CLCD0_BASE             0x10020000 /* CLCD */

#define PLATFORM_GIC1_BASE              0x1E000000 /* GIC 1 */

#define PLATFORM_GIC2_BASE              0x1E010000 /* GIC 2 */

#define PLATFORM_GIC3_BASE              0x1E020000 /* GIC 3 */

#define PLATFORM_GIC4_BASE              0x1E030000 /* GIC 4 */

/*

 * Device offsets in virtual memory. They offset to some virtual

 * device base address. Each page on this virtual base is consecutively

 * allocated to devices. Nice and smooth.

 * Make sure the offsets used here are not conflicting with the ones

 * present in <l4/platform/realview/offset.h>

 */

#endif /* __PLATFORM_PBA8_OFFSETS_H__ */