#ifndef _IRQ_H_
#define _IRQ_H_
#include <linux/kernel.h>
#include <asm/io.h>
#include <linux/of.h>
#include <asm/qe.h>
#include <linux/delay.h>
#include <asm/irq.h>
#include <linux/rtc.h>

#define IRQ_SEPNR     (0x2c>>2)
#define IRQ_SEMSR     (0x38>>2)
#define IRQ_SECNR     (0x3c>>2)
#define IRQ_SEPCR     (0x4c>>2)
#define IRQ_SEFCR     (0x58>>2)

typedef struct {
	uint32_t *pBase;
    uint32_t *pRegBase;
    uint32_t *pDataBase;
	uint32_t irq;
    char irqName[32];
}E_TIMER_1MS;

E_TIMER_1MS * irq_get_timer(void);
void handler_irq(void);

int irq_init(void);
void irq_exit(void);
char* GetBoardName(void);

#endif