2013-01-18 17:42:18 +08:00
|
|
|
/*
|
|
|
|
* Copyright (C) 2004, 2007-2010, 2011-2012 Synopsys, Inc. (www.synopsys.com)
|
|
|
|
*
|
|
|
|
* This program is free software; you can redistribute it and/or modify
|
|
|
|
* it under the terms of the GNU General Public License version 2 as
|
|
|
|
* published by the Free Software Foundation.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef __ASM_ARC_IRQ_H
|
|
|
|
#define __ASM_ARC_IRQ_H
|
|
|
|
|
|
|
|
/* Platform Independent IRQs */
|
|
|
|
#define TIMER0_IRQ 3
|
|
|
|
#define TIMER1_IRQ 4
|
|
|
|
|
2013-01-18 17:42:20 +08:00
|
|
|
#include <plat/irq.h> /* Board Specific IRQ assignments */
|
2013-01-18 17:42:18 +08:00
|
|
|
#include <asm-generic/irq.h>
|
|
|
|
|
|
|
|
extern void __init arc_init_IRQ(void);
|
|
|
|
extern void __init plat_init_IRQ(void);
|
|
|
|
extern int __init get_hw_config_num_irq(void);
|
|
|
|
|
2013-01-18 17:42:18 +08:00
|
|
|
void __cpuinit arc_local_timer_setup(unsigned int cpu);
|
|
|
|
|
2013-01-18 17:42:18 +08:00
|
|
|
#endif
|