| /* |
| * 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. |
| * |
| * vineetg: Feb 2009 |
| * -For AA4 board, IRQ assignments to peripherals |
| */ |
| |
| #ifndef __PLAT_IRQ_H |
| #define __PLAT_IRQ_H |
| |
| #define UART0_IRQ 5 |
| #define UART1_IRQ 10 |
| #define UART2_IRQ 11 |
| |
| #define IDE_IRQ 13 |
| #define PCI_IRQ 14 |
| #define PS2_IRQ 15 |
| |
| #ifdef CONFIG_SMP |
| #define IDU_INTERRUPT_0 16 |
| #endif |
| |
| extern void __init plat_fpga_init_IRQ(void); |
| |
| #endif |
