#include <linux/types.h>
#include <linux/kernel.h>
#include <linux/init.h>
#include <linux/list.h>
#include <linux/platform_device.h>
#include <linux/slab.h>
#include <linux/string.h>
#include <linux/syscore_ops.h>
#include <linux/amba/bus.h>
#include <linux/amba/kmi.h>
#include <linux/clocksource.h>
#include <linux/clockchips.h>
#include <linux/interrupt.h>
#include <linux/io.h>
#include <linux/mtd/physmap.h>
#include <linux/clk.h>
#include <linux/platform_data/clk-integrator.h>
#include <linux/of_irq.h>
#include <linux/of_address.h>
#include <linux/of_platform.h>
#include <video/vga.h>
#include <mach/hardware.h>
#include <mach/platform.h>
#include <asm/hardware/arm_timer.h>
#include <asm/setup.h>
#include <asm/param.h>
#include <asm/mach-types.h>
#include <asm/sched_clock.h>
#include <mach/lm.h>
#include <mach/irqs.h>
#include <asm/mach/arch.h>
#include <asm/mach/irq.h>
#include <asm/mach/map.h>
#include <asm/mach/pci.h>
#include <asm/mach/time.h>
#include <plat/fpga-irq.h>
#include "common.h"

Macros
#define	VA_IC_BASE __io_address(INTEGRATOR_IC_BASE)

#define	VA_SC_BASE __io_address(INTEGRATOR_SC_BASE)

#define	VA_EBI_BASE __io_address(INTEGRATOR_EBI_BASE)

#define	VA_CMIC_BASE __io_address(INTEGRATOR_HDR_IC)

#define	irq_suspend NULL

#define	irq_resume NULL

#define	SC_CTRLC (VA_SC_BASE + INTEGRATOR_SC_CTRLC_OFFSET)

#define	SC_CTRLS (VA_SC_BASE + INTEGRATOR_SC_CTRLS_OFFSET)

#define	EBI_CSR1 (VA_EBI_BASE + INTEGRATOR_EBI_CSR1_OFFSET)

#define	EBI_LOCK (VA_EBI_BASE + INTEGRATOR_EBI_LOCK_OFFSET)

#define	TIMER0_VA_BASE __io_address(INTEGRATOR_TIMER0_BASE)

#define	TIMER1_VA_BASE __io_address(INTEGRATOR_TIMER1_BASE)

#define	TIMER2_VA_BASE __io_address(INTEGRATOR_TIMER2_BASE)