include: irq-platform.h: add px30 timer0 irq

Change-Id: Ieadd2aa4d18c8db8927da225a62d9d58e9fd4342
Signed-off-by: Joseph Chen <chenjh@rock-chips.com>
This commit is contained in:
Joseph Chen 2018-03-13 19:56:34 +08:00 committed by Kever Yang
parent a46d9cd774
commit 49f812dde0
1 changed files with 1 additions and 0 deletions

View File

@ -144,6 +144,7 @@
#define IRQ_GPIO3 38
#define IRQ_PWM0 56
#define IRQ_PWM1 57
#define IRQ_TIMER0 62 /* non-secure */
#define IRQ_TIMER1 63 /* non-secure */
#define GIC_IRQS_NR (4 * 32)